Кхм. Пришло тут в голову наваять троичный IMP.
Для двоичного его таблица истинности такая:
A B A->B
0 0 1
0 1 1
1 0 0
1 1 1
Т.е. логическая система не может сделать ложный вывод из истинной посылки.
Таперича у нас есть +,0 и -. Идея такая, что логическая система из неопределенной посылки вывода не делает, а выдаст неопределенность. Из определенной же посылки - сделает обязательно.
Следовательно, таблица истинности такая:
A B A->B
- - +
- 0 -
- + +
0 - -
0 0 +
0 + -
+ - -
+ 0 -
+ + +
Это, разумеется, моё ИМХО. Я еще сомневаюсь, т.к. есть подозрение, что ложная посылка способна загнать систему в неопределенное состояние, т.е. - 0 +. Но пока считаю так, как написал.
Таперича юмор: предлагаю гейт с названием, скажем, IMP-JRNLMR. ;D
A B A->B
- - +
- 0 -
- + -
0 - +
0 0 -
0 + -
+ - +
+ 0 -
+ + -
И гейт IMP-PHLSFR
A B A->B
- - +
- 0 +
- + -
0 - +
0 0 +
0 + -
+ - +
+ 0 +
+ + -