p | q | r | q and r | p or (q and r) | p or q | p or r | (p or q) and (p or r) | p or (q and r) <=> (p or q) and (p or r) |
---|---|---|---|---|---|---|---|---|
F | F | F | F | F | F | F | F | T |
F | F | T | F | F | F | T | F | T |
F | T | F | F | F | T | F | F | T |
F | T | T | T | T | T | T | T | T |
T | F | F | F | T | T | T | T | T |
T | F | T | F | T | T | T | T | T |
T | T | F | F | T | T | T | T | T |
T | T | T | T | T | T | T | T | T |
Last active
February 24, 2020 02:32
-
-
Save samuelgoto/8a75eebd7b17a740012dc2f5734cdbb6 to your computer and use it in GitHub Desktop.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment