Изменения

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

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

3095 байт добавлено, 20:00, 24 декабря 2014
Двухместные операции
|style="background-color:#FFF;padding:2px 20px"| <tex>+</tex>
|style="background-color:#FFF;padding:2px 20px"| <tex>+</tex>
 
|}
 
Ниже приведены названия этих функций.
 
{| style="background-color:#CCC;margin:0.5px"
!style="background-color:#EEE;padding:2px 8px"| '''Обозначение'''
!style="background-color:#EEE;padding:2px 8px"| '''Название'''
|-
|style="background-color:#FFF;padding:2px 8px"| <tex>\bf{a \vee b}</tex>
|style="background-color:#FFF;padding:2px 8px"| Дизъюнкция
|-
|style="background-color:#FFF;padding:2px 8px"| <tex>\bf{a \wedge b}</tex>
|style="background-color:#FFF;padding:2px 8px"| Конъюнкция
|-
|style="background-color:#FFF;padding:2px 8px"| <tex>\bf{a \cdot b}</tex>
|style="background-color:#FFF;padding:2px 8px"| Логическое умножение по модулю три
|-
|style="background-color:#FFF;padding:2px 8px"| <tex>\bf{a \oplus b}</tex>
|style="background-color:#FFF;padding:2px 8px"| Логическое сложение по модулю три
|-
|style="background-color:#FFF;padding:2px 8px"| <tex>\bf{a \mid b}</tex>
|style="background-color:#FFF;padding:2px 8px"| Функция Вебба
|-
|style="background-color:#FFF;padding:2px 8px"| <tex>\bf{a+b}</tex>
|style="background-color:#FFF;padding:2px 8px"| Пороговое сложение
|-
|style="background-color:#FFF;padding:2px 8px"| <tex>\bf{a \Uparrow b}</tex>
|style="background-color:#FFF;padding:2px 8px"| Исключающий максимум
|-
|style="background-color:#FFF;padding:2px 8px"| <tex>\bf{a \rightarrow b}</tex>
|style="background-color:#FFF;padding:2px 8px"| Среднее (''Mean'')
|-
|style="background-color:#FFF;padding:2px 8px"| <tex>\bf{a \equiv b}</tex>
|style="background-color:#FFF;padding:2px 8px"| Сравнение
|-
|style="background-color:#FFF;padding:2px 8px"| <tex>\bf{a \&_L b}</tex>
|style="background-color:#FFF;padding:2px 8px"| Сильная конъюнкция
|-
|style="background-color:#FFF;padding:2px 8px"| <tex>\bf{a \rightarrow_L b}</tex>
|style="background-color:#FFF;padding:2px 8px"| Импликация Лукасевича
|-
|style="background-color:#FFF;padding:2px 8px"| <tex>\bf{a \wedge_+ b}</tex>
|style="background-color:#FFF;padding:2px 8px"| Конъюнкция Клини
|-
|style="background-color:#FFF;padding:2px 8px"| <tex>\bf{a \rightarrow_+ b}</tex>
|style="background-color:#FFF;padding:2px 8px"| Импликация Клини
|-
|style="background-color:#FFF;padding:2px 8px"| <tex>\bf{a \rightarrow_G b}</tex>
|style="background-color:#FFF;padding:2px 8px"| Импликация Гейтинга (импликация Гёделя)
|-
|style="background-color:#FFF;padding:2px 8px"| <tex>\bf{a \rightarrow_M b}</tex>
|style="background-color:#FFF;padding:2px 8px"| Материальная импликация
|-
|style="background-color:#FFF;padding:2px 8px"| <tex>\bf{a \rightarrow b}</tex>
|style="background-color:#FFF;padding:2px 8px"| Функция следования Бруснецова
|-
|style="background-color:#FFF;padding:2px 8px"| <tex>\bf{a \equiv b}</tex>
|style="background-color:#FFF;padding:2px 8px"| Тождество
|}
192
правки

Навигация