[devel] дизъюнкция зависимостей

[Alexey Tourbin]

On Sat, Sep 15, 2007 at 05:35:00PM +0400, Хихин Руслан wrote:
> Здравствуйте Alexey Tourbin
>   В сообщении от Суббота 15 сентября 2007 Alexey Tourbin написал(a):
>  >   Дизъюнкция это функция, причем ассоциативная (а также
>  > коммутативная).  А у Вас дизъюнкция это процедура, которая ещё типа
>  > должна выполнять какие-то эвристические действия при попытке ее
>  > вычисления в зависимости от последовательности дизъюнктов.
> После первой истины нет смысла проводить проверку дальше - результат не 
> изменится в каком-бы порядке с начала к концу или от конца к началу её 
> не выполняли.

Требование на Null всегда удовлетворено, поэтому, с точки зрения
булевой алгебры, должен работать закон поглощения.  Иначе, если
давать специальный статус дизъюнкции с Null, тогда нужно отказаться
от преобразования/оптимизации логических выражений.  И что тогда
такое получается нижняя грань решетки.

В общем вопросы есть, хотя идея красивая.
----------- следующая часть -----------
Было удалено вложение не в текстовом формате...
Имя     : =?iso-8859-1?q?=CF=D4=D3=D5=D4=D3=D4=D7=D5=C5=D4?=
Тип     : application/pgp-signature
Размер  : 189 байтов
Описание: =?iso-8859-1?q?=CF=D4=D3=D5=D4=D3=D4=D7=D5=C5=D4?=
Url     : <http://lists.altlinux.org/pipermail/devel/attachments/20070915/af9eeace/attachment-0002.bin>