Skip to content

Instantly share code, notes, and snippets.

@generalredneck

generalredneck/boolean proof

Created March 5, 2012 22:43
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 generalredneck/1981693 to your computer and use it in GitHub Desktop.
Save generalredneck/1981693 to your computer and use it in GitHub Desktop.
Download ZIP
Boolean test
Raw
boolean proof
(x||y) && (z||y)
x y z
0 0 0 0
1 0 0 0
0 1 0 1
1 1 0 1
0 0 1 0
1 0 1 1
0 1 1 1
1 1 1 1
(x&&z)||y
x y z
0 0 0 0
1 0 0 0
0 1 0 1
1 1 0 1
0 0 1 0
1 0 1 1
0 1 1 1
1 1 1 1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment