>> 20 января было написано: На экзамене по математической логике:
>> - Быть или не быть?
>> - Это тавтология!
>> - Правильно!
>> Вообще-то это принцип исключенного третьего ;-) Так что НЕПРАВИЛЬНО!
>F(Быть) = Быть дизъюнкция (отрицание (Быть))
>Для переменной "Быть" возможно два значения:
>Пусть Быть=1, тогда F = 1 дизъюнкция 0 = 1
>Пусть Быть=0, тогда F = 0 дизъюнкция 1 = 1
>Таким образом, F -- универсальная истина. :)))
А кто сказал, что Быть - двоичная? Как минимум, троичная - быть, не быть
и быть с похмелья.