tuple_truth_table.txt (792B)
- 0 0 0 0 ⤫ false
- 0 0 0 1 ⤭ AND
- 0 0 1 0 ⤫ https://en.wikipedia.org/wiki/Material_nonimplication
- 0 0 1 1 ⤫ p
- 0 1 0 0 ⤫ https://en.wikipedia.org/wiki/Converse_nonimplication
- 0 1 0 1 ⤫ q
- 0 1 1 0 ⤭ XOR, !=
- 0 1 1 1 ⤭ OR
- 1 0 0 0 ⤭ NOR
- 1 0 0 1 ⤭ XNOR, ==
- 1 0 1 0 ⤫ !q
- 1 0 1 1 ⤫ https://en.wikipedia.org/wiki/Converse_implication
- 1 1 0 0 ⤫ !p
- 1 1 0 1 ⤫ https://en.wikipedia.org/wiki/Material_conditional
- 1 1 1 0 ⤭ NAND
- 1 1 1 1 ⤭ true
- 0,0 0,1 1,0 1,1 (p,q)
- ⤫ : non-commutative
- ⤭ : commutative
- Note: Based on https://en.wikipedia.org/wiki/Truth_table#Binary_operations BUT with reordering the rows of the first table for our sort order