ru.unix.bsd

 
 - RU.UNIX.BSD ------------------------------------------------------------------
 From : Alex Semenyaka                       2:461/64       03 Jul 2004  00:34:30
 To : Gleb Smirnoff
 Subject : ipfw
 -------------------------------------------------------------------------------- 
 

 
 [02 Jul 04 14:44], Gleb Smirnoff (2:5020/400) -> Andrey Ostanovsky:
 
  MD>>> Тебе уже указали. Может ты слушать не хочешь?
  MD>>> not (X=A) or not (X=B) == true для _всех_ X если A<>B. Потому
  MD>>> как для _любого_ X как минимум одно из выражений (X=A) или (X=B)
  MD>>> будет false, значит как минимум одно из выражений not (X=A) или
  MD>>> и not (X=B) будет true, значит общий результат будет _всегда_
  MD>>> будет true
  AO>> Тогда, по-идее, парсер не должен допускать таких конструкций, как
  AO>> не имеющих логического смысла.
  GS> Любое синтаксически корректное выражение имеет логический смысл.
 
 Он хочет, чтобы в парсере был оптимизатор, который приводил бы выражение к
 минимальному виду. Оно понятно, что, ему все равно не мешает книжку по
 элементарным правилам булевой алгебры прочитать. С другой стороны, такой
 оптимизатор бы не помешал, хотя его никто и не приделает никогда :)
 
                                                      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