Skip to content

Instantly share code, notes, and snippets.

@mtomwing

mtomwing/gist:8743006

Created January 31, 2014 20:58
Show Gist options
  • Save mtomwing/8743006 to your computer and use it in GitHub Desktop.
Save mtomwing/8743006 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
(((C -> (D v G)) & (G -> (~C))) -> (D v C))
+---+---+---+--+---+----+---+---+---+---+---+----+---+---+----+---+---+---+
| C | D | G | | C | -> | D | v | G | & | G | -> | ~ | C | -> | D | v | C |
+---+---+---+--+---+----+---+---+---+---+---+----+---+---+----+---+---+---+
| T | T | T | | T | T | T | T | T | F | T | F | F | T | T | T | T | T |
| T | T | F | | T | T | T | T | F | T | F | T | F | T | T | T | T | T |
| T | F | T | | T | T | F | T | T | F | T | F | F | T | T | F | T | T |
| T | F | F | | T | F | F | F | F | F | F | T | F | T | T | F | T | T |
| F | T | T | | F | T | T | T | T | T | T | T | T | F | T | T | T | F |
| F | T | F | | F | T | T | T | F | T | F | T | T | F | T | T | T | F |
| F | F | T | | F | T | F | T | T | T | T | T | T | F | F | F | F | F |
| F | F | F | | F | T | F | F | F | T | F | T | T | F | F | F | F | F |
+---+---+---+--+---+----+---+---+---+---+---+----+---+---+----+---+---+---+
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment