В двоичной логике он бы автоматом получился при проектировании сумматора, но в троичной логике
XOR и Сумма по Модулю - разные вещи.
Таблица истинности у меня была всего одна: Но в субботний день было так неохота возиться с этой СДНФ, да еще помнил я из двоичной логики,
что для XOR нет удачной схемы на транзисторных ключах (сам проверял - это правда).
Так что я принял авнтюрное решение - собрать XOR из NAND так, как в двоичной логике,
и проверить по таблице - получится ли троичный XOR. И именно он - троичный XOR - и получился по этой схеме!
Свойства у него оказались такие же, как и у двоичного XOR - управляемый инвертор + может выключить прохождение сигнала.
P.S. Осталось еще смоделировать мощный троичный тристабильный буфер. Но это будет фактически
обычный аналоговый ключ - в КМОП схемотехнике именно так и делают...
