intl/basic
Possible boolean patterns
0 0 1 1
0 1 0 1
v v v v
0 0 0 0 false
and 0 0 0 1 and
0 0 1 0 !implies
0 0 1 1 first
0 1 0 0 !(only if)
0 1 0 1 !second
0 1 1 0 !eq (xor)
or 0 1 1 1 or
1 0 0 0 !or nor, neither
eq 1 0 0 1 eq
1 0 1 0 !second
only if 1 0 1 1 only if because
1 1 0 0 !first
implies 1 1 0 1 implies
1 1 1 0 !and nand
1 1 1 1 !false true