Skip to content

Instantly share code, notes, and snippets.

@kckennylau

kckennylau/A or A implies B Secret

Created December 16, 2017 05:30
Show Gist options
  • Save kckennylau/9d82bc4e1e016d072f9032bfc5f9c6cc to your computer and use it in GitHub Desktop.
Save kckennylau/9d82bc4e1e016d072f9032bfc5f9c6cc to your computer and use it in GitHub Desktop.
Download ZIP
Raw
A or A implies B
If not (A or A implies B):
If A:
A or A implies B.
not (A or A implies B).
not A.
If A:
not A.
A.
B.
A implies B.
A or A implies B.
not (A or A implies B).
not not (A or A implies B).
A or A implies B.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment