Algebraic notation in a three-value logic

ALGEBRAIC NOTATION IN A THREE-VALUE LOGIC

Algebraic notation for a three-value system follows these rules:
PQF = 2P+2Q
PQG = 2PPQQ+PPQ+PQQ+PQ+P+Q
[ordinarily we program this as min(P,Q) where 0>2]
PQH = PPQQ+2PPQ+2PQQ+2PQ
[ordinarily we program this as max(P,Q) where 0>2]
PQJ = PQ
PQI = P+Q
PQK = P+2Q
PN = P+1
PZ = 2P+1
We can work algebraically with a logic of any number of values (V) by substituting (V-1) for the specific coefficient in the formulas above.

If we think of the AN form of any three-value string as consisting of the following

aPPQQ+bPPQ+cPQQ+dPP+ePQ+fQQ+gP+hQ+i
we can also go back and forth between the truth-table series for any string and its AN expression by using the following programs:
AN3 to TT series and TT series to AN3

Go back to the starting page.