Интернет магазин китайских планшетных компьютеров

Компьютеры - Троичная логика - Алгебраические свойства

Троичная логика, в отличие от двоичной — не булево кольцо и обладает собственным математическим аппаратом. Он состоит из системы аксиом, которые определяют над множеством {"1", «0», «1»} одноместные и двуместные операции, а также выводимые из них свойства.

Для конъюнкции и дизъюнкции в трочной логике сохраняются коммутативный, ассоциативный и дистрибутивный законы.

Несколько свойств образуются благодаря особенности отрицания Лукасевича:

Однако из-за наличия третьего состояния некоторые законы двоичной логики оказываются неверными, для них сформулированы троичные аналоги. Так, вместо закона противоречия стали применять закон несовместности состояний, вместо закона исключённого третьего — закон полноты состояний, вместо неверного закона Блейка — Порецкого применяют трёхчленный закон Блейка — Порецкого.