Skip to content

Instantly share code, notes, and snippets.

@samuelgoto
Last active February 24, 2020 02:32
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 samuelgoto/8a75eebd7b17a740012dc2f5734cdbb6 to your computer and use it in GitHub Desktop.
Save samuelgoto/8a75eebd7b17a740012dc2f5734cdbb6 to your computer and use it in GitHub Desktop.

Conjunction Distribution

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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment