XXIIVV

Notes on Ternary Logic.

Along with ternary arithmetic, a computer built of ternary hardware can also exploit ternary logic. Consider the task of comparing two numbers. In a machine based on binary logic, comparison is often a two-stage process. First you ask, "Is x less than y?"; depending on the answer, you may then have to ask a second question, such as "Is x equal to y?" Ternary logic simplifies the process: A single comparison can yield any of three possible outcomes: "less," "equal" and "greater."

Reversible Gates

To learn more, see reversible computing.

Single Input Gates

+0-NumberNameDefinitions
----13FalseNEG(LAX(LAX))
--0-12NEG(LAX)
--+-11DEC(DEC(LAX))
-0--10AbnNEG(LAX(DEC))
-00-9DEC(LAX(NEG))
-0+-8NegNEG
-+--7isZDEC(DEC(LAX(DEC)))
-+0-6IncDEC(DEC)
-++-5DEC(NEG(LAX(NEG)))
0---4NEG(LAX(NEG))
0-0-3DEC(LAX(DEC))
0-+-2DecDEC
00--1DEC(LAX)
0000ClearDEC(LAX(LAX))
00+1NEG(DEC(LAX))
0+-2NEG(DEC)
0+03NEG(DEC(LAX(DEC)))
0++4LAX(NEG)
+--5FloorDEC(DEC(LAX(NEG)))
+-06DEC(NEG)
+-+7DEC(NEG(LAX(DEC)))
+0-8NOPNEG(NEG)
+009FlatNEG(DEC(LAX(NEG)))
+0+10AbsLAX(DEC)
++-11CeilDEC(NEG(LAX))
++012LaxLAX
+++13TrueLAX(LAX)