Изменения

Для конъюнкции и дизъюнкции в троичной логике сохраняются '''коммутативный''', '''ассоциативный ''' и '''дистрибутивный законы''', '''закон идемпотентности'''.Также действует закон двойного отрицания (отрицания Лукашевича) и тройного (циклического) отрицания:

<math>A\overline{\overline{a}}=a</math> <math>a'''=a</math> Буквальное определение '''циклического отрицания''' вытекает из следующих свойств:<math>- ' = 0</math><math>0 ' = +</math><math>+ '=A-</math>

 '''Закон несовместности состояний ''' (аналог закона противоречия в двоичной логике)*<math>Sa \wedge Sa'' = -</math> <math>Sa' \wedge Sa'' = -</math> <math>Sa' \wedge Sa = -</math> '''Закон исключённого четвёртого ''' (вместо '''закона исключённого третьего'''), он же '''закон полноты состояний'''. <math>Sa' \vee Sa \vee Sa'' = +</math>, или  <math>S^-a \vee Sa \vee S^+a = +</math>*'''Трёхчленный закон Блейка-Порецкого'''.*<math>a \vee Sa' \wedge b \vee Sa \wedge b = a \vee b</math>, или <math>a \vee S^-a \wedge b \vee Sa \wedge b = a \vee b</math>