ТРОИЧНАЯ ЛОГИКАСсылка:
http://phg.su/basis2/X19.HTM"...
Троичная логика
(Ternary logic)
мы смотрим сбалансированный вариант.
---------------------------------------
0 ложь Minimal value
i фиг знает
1 истина maximum value
---------------------------------------
Расширенный вариант диаграммы Венна:
Для однооперандных функций:
Два вложенных круга, внутри внутреннего операнд = 1, между внешним и внутреннем
операнд = i, снаружи внешнего операнд = 0.
Значения:
0 сплошной белый
i сплошной зеленый
1 штрихованный черный
Для двухоперандных функций:
Два двойных круга и их пересечения.
Обратите внимание что зоне ii={A=i, B=i} соответсвуют два региона:
один выделен черным, другой зеленым.
Однооперандные функции
---------------------------
X 0 i 1
---------------------------
0 0 0 тождественный 0
0 0 i Сдвиг вниз (Shift down) (слабый == 1)
0 0 1 Сильный == 1
0 i 0 Слабый == i
0 i i Слабый != 0
0 i 1 повторение
0 1 0 Сильный ==i
0 1 i Обмен i и 1 (Negation)
0 1 1 Сильный != 0
i 0 0 Слабый == 0
i 0 i Слабый != i
i 0 1 Oбмен i и 0
i i 0 Слабый != 1
i i i тождественное i
i i 1
i 1 0 Вращение вниз (Rotate down)
i 1 i
i 1 1 Сдвиг вверх (Shift Up)
1 0 0 Cильный == 0
1 0 i Вращение вверх (Rotate up)
1 0 1 Сильный != i
1 i 0 инверсия (обмен 0 и 1)
1 i i
1 i 1
1 1 0 Сильный != 1
1 1 i
1 1 1 тождественная 1
---------------------------
NOT Отрицание:
----------
X X#
----------
0 1
i i
1 0
----------
- +
0 0
+ -
----------
..."