Skip to content

Instantly share code, notes, and snippets.

@mtomwing

mtomwing/gist:8742849

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