|
ru.unix.bsd
- RU.UNIX.BSD ------------------------------------------------------------------
From : Alex Semenyaka 2:461/64 02 Jul 2004 17:14:08
To : Andrey Ostanovsky
Subject : ipfw
--------------------------------------------------------------------------------
[30 Jun 04 20:19], Andrey Ostanovsky (2:5030/1957.10) -> Eugene Grosbein:
AO> Первоначальная конструкция была { not A or not B }, с легкой руки
AO> Hечаева (?) она исказилась до not (A and B). А теперь ты мне, вместо
AO> ответа на прямо поставленный вопрос, советуешь подучить матлогику. :(
А что тебе советовать еще? Отрицание от И - это ИЛИ отрицаний, поэтому
not (A and B) = (not A) or (not B)
- то есть исходное утверждение. Проверяется табличкой из 4-х строк, строки -
возможные значения A и B (true, false), столбцы - левое и правое выражения.
Оставляется в качестве домашнего задания.
A и B в твоем случае - утверждения вида S=x и S=y. Чтобы S=x and S=y было true
надо, чтобы x=y. Иначе (как в исходном примере) оно всегда false, а его
отрицание - true.
Далее, тут говорили, что у or в ipfw2 более высокий приоритет (проверить прямо
сейчас не на чем), так что исходное выражение, возможно, вообще значит
not (A or (not B)) = (not A) and (not(not B)) = (not A) and B.
Так как это актуально тебе - возьми и проверь.
И не надо жаловаться на учителей, эта эха - не для обучения матлогике, и
требовать такое обучение в ней - как-то странно. Где его искать - тебе уже
сказали, в учебниках.
SY, Alex
--- IMHO в последней инстанции
* Origin: Show must go on... and off. (2:461/64)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
| Тема: |
Автор: |
Дата: |
|
ipfw |
Andrey Ostanovsky |
28 Jun 2004 00:20:06 |
 Re: ipfw |
Dmitry Frolov |
28 Jun 2004 10:03:32 |
 ipfw |
Andrey Ostanovsky |
28 Jun 2004 08:16:10 |
|
Re: ipfw |
Valentin Nechayev |
28 Jun 2004 09:59:45 |
 Re: ipfw |
Alexander V. Zinin |
28 Jun 2004 16:06:27 |
 Re: ipfw |
Ivan Voytas |
28 Jun 2004 16:17:33 |
|
Re: ipfw |
Alexander V. Zinin |
28 Jun 2004 16:32:20 |
|
ipfw |
Andrey Ostanovsky |
28 Jun 2004 22:19:14 |
|
Re: ipfw |
Eugene Grosbein |
29 Jun 2004 11:17:56 |
|
ipfw |
Andrey Ostanovsky |
30 Jun 2004 11:29:08 |
|
Re: ipfw |
Eugene Grosbein |
30 Jun 2004 16:19:08 |
|
ipfw |
Andrey Ostanovsky |
30 Jun 2004 20:19:22 |
|
Re: ipfw |
Eugene Grosbein |
01 Jul 2004 01:21:08 |
|
Re: ipfw |
Valentin Nechayev |
01 Jul 2004 01:51:36 |
|
ipfw |
Andrey Ostanovsky |
01 Jul 2004 08:21:06 |
|
Re: ipfw |
Gleb Smirnoff |
01 Jul 2004 03:06:32 |
|
ipfw |
Andrey Ostanovsky |
01 Jul 2004 07:54:08 |
|
Re: ipfw |
Mykola Dzham |
02 Jul 2004 11:41:29 |
|
ipfw |
Andrey Ostanovsky |
02 Jul 2004 13:10:28 |
|
Re: ipfw |
Eugene Grosbein |
02 Jul 2004 17:47:56 |
|
Re: ipfw |
Gleb Smirnoff |
02 Jul 2004 14:44:46 |
|
ipfw |
Alex Semenyaka |
03 Jul 2004 00:34:30 |
|
ipfw |
Slawa Olhovchenkov |
03 Jul 2004 11:30:10 |
|
ipfw |
Alex Semenyaka |
04 Jul 2004 12:57:08 |
|
Re: ipfw |
Mykola Dzham |
04 Jul 2004 14:14:55 |
|
ipfw |
Sultan Azhiguzhayev |
02 Jul 2004 17:11:01 |
|
ipfw |
Andrey Ostanovsky |
02 Jul 2004 16:38:58 |
|
ipfw |
Ilya Kulagin |
01 Jul 2004 10:15:01 |
|
ipfw |
Alex Semenyaka |
02 Jul 2004 17:14:08 |
|
ipfw |
Andrey Ostanovsky |
08 Jul 2004 21:49:52 |
|
ipfw |
Alex Semenyaka |
01 Jul 2004 21:42:57 |
|
ipfw |
Andrey Ostanovsky |
28 Jun 2004 16:43:44 |
|
ipfw |
Ilya Kulagin |
28 Jun 2004 18:00:05 |
|
ipfw |
Andrey Ostanovsky |
28 Jun 2004 22:28:58 |
|
Re: ipfw |
Ivan Voytas |
29 Jun 2004 10:39:37 |
|
Re: ipfw |
Valentin Nechayev |
28 Jun 2004 22:37:39 |
 Re: ipfw |
Vitaliy Kolodinsky |
29 Jun 2004 20:01:51 |
|
|
