Skip to content

Instantly share code, notes, and snippets.

@joaomilho

joaomilho/logic.hs

Created May 8, 2014 20:41
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 joaomilho/6cdf62a6905b6492a4f8 to your computer and use it in GitHub Desktop.
Save joaomilho/6cdf62a6905b6492a4f8 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
logic.hs
(¬) True = False
(¬) False = True
True ∧ x = x
False ∧ x = False
True ∨ x = True
False ∨ x = x
True → x = x
False → x = True
True ↔ x = x
False ↔ x = (¬) x
True ⊕ x = (¬) x
False ⊕ x = x
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment