192
правки
Изменения
Нет описания правки
'''Троичная''' или '''трёхзначная логика''' (англ. ''ternary logic'') — один из видов многозначной логики, использующий три истинностных значения.
В традиционной трёхзначной логике "лжи" и "истине" соответствуют знаки <tex>-</tex> и <tex>+</tex>. Третьему (серединному) состоянию соответствует знак <tex>0</tex>. Допустимо использование таких наборов знаков, как <tex>\{0,1,2\}</tex>, <tex>\{-1,0,1\}</tex>, <tex>\{0,1/2,1\}</tex> <tex>\{N,Z,P\}</tex>, и др. Иногда используют обозначения И, Л, Н (истина, ложь и неизвестность).
{{Определение
|definition =
'''Троичная функция''' (или '''тернарная функция''') от <tex>n</tex> переменных — это отображение <tex>BT^n</tex> → <tex>BT</tex>, где <tex>B T = \{-, 0, +\}</tex>.
}}
!style="background-color:#EEE"| <tex>\bf{a \Uparrow b}</tex>
!style="background-color:#EEE"| <tex>\bf{a \rightarrow b}</tex>
!style="background-color:#EEE"| <tex>\bf{a \equiv equiv_{CMP} b}</tex>
!style="background-color:#EEE"| <tex>\bf{a \&_L b}</tex>
!style="background-color:#EEE"| <tex>\bf{a \rightarrow_L b}</tex>
!style="background-color:#EEE"| <tex>\bf{a \rightarrow_G b}</tex>
!style="background-color:#EEE"| <tex>\bf{a \rightarrow_M b}</tex>
!style="background-color:#EEE"| <tex>\bf{a \rightarrow rightarrow_B b}</tex>
!style="background-color:#EEE"| <tex>\bf{a \equiv b}</tex>
|-
