10 lines
435 B
JavaScript
10 lines
435 B
JavaScript
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))
|