Изменения

Перейти к: навигация, поиск

Троичная логика

Нет изменений в размере, 18:09, 24 декабря 2014
Алгебраические свойства
Все нижеперечисленные законы и свойства легко доказываются путём перебора всех значений входящих в них переменных.
Алгебраический подход заключается в том, чтобы определить над множеством <tex>\{-, 0, +\}</tex> двухместные (<tex>\wedge</tex>, <tex>\vee</tex>) и одноместные (<tex>'</tex>, <tex>S</tex>, <tex>\simneg</tex>) операции с помощью законов, а оставшиеся свойства уже выводить из них алгебраически.
<ol>
192
правки

Навигация