Skip to content

Instantly share code, notes, and snippets.

@mtomwing

mtomwing/gist:8743306

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