Skip to content

Instantly share code, notes, and snippets.

@beastaugh

beastaugh/gist:834209

Created February 18, 2011 19:05
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save beastaugh/834209 to your computer and use it in GitHub Desktop.
Save beastaugh/834209 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
> (((P | Q) & ~(P & Q)) & R)
P Q R | (((P | Q) & ~(P & Q)) & R)
----------------------------------
T T T | F
T T F | F
T F T | T
T F F | F
F T T | T
F T F | F
F F T | F
F F F | F
> (((P | Q) & R) & (~(P & Q) | ~R))
P Q R | (((P | Q) & R) & (~(P & Q) | ~R))
-----------------------------------------
T T T | F
T T F | F
T F T | T
T F F | F
F T T | T
F T F | F
F F T | F
F F F | F
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment