Обычным примером трехзначной логики является состояние постоянного тока: движется в одну сторону, движется в другую сторону, либо отсутствует.
В традиционной трёхзначной логике "лжи" и "истине" соответствуют знаки „-“ и „+“. Третьему (серединному) состоянию соответствует знак "0".
==Троичная система счисленияОдноместные операции==
'''Троичная система счисления''' — позиционная система счисления с целочисленным основаниемОчевидно, равным что в троичной логике всего существует <math>3^3=27</math> одноместных операций. Существует в двух вариантах: несимметричная (как правило, цифры <table border=1><tr><td><math>a</math></td><td><math>-</math></td><td><math>0</math></td><td><math>+</math></td><td></td></tr><tr><td><math>f_0</math></td><td>-</td><td>-</td><td>-</td><td><math>-</math></td></tr><tr><td><math>f_1</math></td><td>-</td><td>-</td><td>0</td><td><math>\searrow</math></td></tr><tr><td><math>f_2</math></td><td>-</td><td>-</td><td>+</td><td><math>S^+</math></td></tr><tr><td><math>f_3</math></td><td>-</td><td>0</td><td>-</td><td></td></tr><tr><td><math>f_4</math></td><td>-</td><td>0</td><td>0</td><td></td></tr><tr><td><math>f_5</math></td><td>-</td><td>0</td><td>+</td><td><math>a</math></td></tr><tr><td><math>f_6</math></td><td>-</td><td>+</td><td>-</td><td><math>S</math></td></tr><tr><td><math>f_7</math></td><td>-</td><td>+</td><td>0</td><td><math>NOT^-</math></td></tr><tr><td><math>f_8</math></td><td>-</td><td>+</td><td>+</td><td></td></tr><tr><td><math>f_9</math></td><td>0</td><td>-</td><td>-</td><td></td></tr><tr><td><math>f_{10}</math></td><td>0</td><td>-</td><td>0</td><td></td></tr><tr><td><math>f_{11}</math></td><td>0</td><td>-</td><td>+</td><td><math>NOT^+</math></td></tr><tr><td><math>f_{12}</math></td><td>0</td><td>0</td><td>-</td><td></td></tr><tr><td><math>f_{13}</math></td><td>0</td><td>0</td><td>0</td><td><math>0</math></td></tr><tr><td><math>f_{14}</math></td><td>0</td><td>0</td><td>+</td><td><math>a^+</math></td></tr><tr><td><math>f_{15}</math></td><td>0,1,2</td><td>+</td><td>-</td><td><math>INC</math></td></tr><tr><td><math>f_{16}) и симметричная (знаки </math></td><td>0</td><td>+</td><td>0</td><td><math>a^o</math></td></tr><tr><td><math>f_{−,17}</math></td><td>0,</td><td>+</td><td>+</td><td><math>\nearrow</math></td></tr><tr><td><math>f_{18}, </math></td><td>+</td><td>-</td><td>-</td><td><math>S^-</math></td></tr><tr><td><math>f_{−1,19}</math></td><td>+</td><td>-</td><td>0,</td><td><math>DEC</math></td></tr><tr><td><math>f_{20}</math></td><td>+</td><td>-</td><td>+</td><td></td></tr><tr><td><math>f_{21}</math></td><td>+1</td><td>0</td><td>-</td><td><math>NOT</math></td></tr><tr><td><math>f_{22}, </math></td><td>+</td><td>0</td><td>0</td><td><math>a^-</math></td></tr><tr><td><math>f_{i,23}</math></td><td>+</td><td>0,1</td><td>+</td><td></td></tr><tr><td><math>f_{24}</math></td><td>+</td><td>+</td><td>-</td><td></td></tr><tr><td><math>f_{25}, </math></td><td>+</td><td>+</td><td>0</td><td></td></tr><tr><td><math>f_{N26}</math></td><td>+</td><td>+</td><td>+</td><td><math>+</math></td></tr></table> ==Алгебраические свойства==Для конъюнкции и дизъюнкции в троичной логике сохраняются коммутативный,Oассоциативный и дистрибутивный законы,Pзакон идемпотентности.Также действует закон двойного отрицания (отрицания Лукашевича) и тройного (циклического) отрицания: <math>\overline{\overline{A}}=A</math> <math>A'''=A</math> Для законов двоичной логики, {Nне справедливых для троичной,Z,P} и любые другие знакисуществуют их троичные аналоги:Закон несовместности состояний (аналог закона противоречия в двоичной логике)*Закон исключённого четвёртого (вместо закона исключённого третьего).*Трёхчленный закон Блейка-Порецкого*
