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