Здравствуйте Alexey Tourbin
  В сообщении от Суббота 15 сентября 2007 Alexey Tourbin написал(a):
 >   Дизъюнкция это функция, причем ассоциативная (а также
 > коммутативная).  А у Вас дизъюнкция это процедура, которая ещё типа
 > должна выполнять какие-то эвристические действия при попытке ее
 > вычисления в зависимости от последовательности дизъюнктов.
После первой истины нет смысла проводить проверку дальше - результат не 
изменится в каком-бы порядке с начала к концу или от конца к началу её 
не выполняли.


-- 
С  уважением Хихин Руслан