71
правка
Изменения
м
→Вывод логических выражений
=== Вывод логических выражений ===
В новой тернарной логике работают не все правила преобразований, присущие двоичной.
Например, нельзя полагать, что <tex>(A\ \vee\ \neg\ A)</tex> дает ''true''всегда истинно, потому что теперь может получиться ''unknown''. <br>
Поэтому при каждом преобразовании троичного логического выражения, лучше сверяться с таблицами истинности.
