Ternary logic: Difference between revisions

trit = {false: 'F', maybe: 'U', true: 'T'};

nand = (a, b) => (a == trit.false || b == trit.false) ? trit.true : (a == trit.maybe || b == trit.maybe) ? trit.maybe : trit.false;

not = (a) => nand(a, a);

and = (a, b) => not(nand(a, b));

or = (a, b) => nand(not(a), not(b));

nor = (a, b) => not(or(a, b));

implies = (a, b) => nand(a, not(b));

iff = (a, b) => or(and(a, b), nor(a, b));

xor = (a, b) => not(iff(a, b));