Skip to content

Instantly share code, notes, and snippets.

@mtomwing
Created January 31, 2014 21:04
Show Gist options
  • Save mtomwing/8743105 to your computer and use it in GitHub Desktop.
Save mtomwing/8743105 to your computer and use it in GitHub Desktop.
(((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