Skip to content

Instantly share code, notes, and snippets.

@milesrout

milesrout/gist:b545b19c04a524f08e6c2fe106b4807d

Created July 14, 2016 06:58
Show Gist options
  • Save milesrout/b545b19c04a524f08e6c2fe106b4807d to your computer and use it in GitHub Desktop.
Save milesrout/b545b19c04a524f08e6c2fe106b4807d to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
>>> for_ (map (show . wlemN) [2..4]) putStrLn
(¬(P1 ∧ P2) → (¬P1 ∨ ¬P2))
(¬(((P1 ∧ P2) ∨ (P1 ∧ P3)) ∨ (P2 ∧ P3)) → ((¬P1 ∨ ¬P2) ∨ ¬P3))
(¬((((((P1 ∧ P2) ∨ (P1 ∧ P3)) ∨ (P1 ∧ P4)) ∨ (P2 ∧ P3)) ∨ (P2 ∧ P4)) ∨ (P3 ∧ P4)) → (((¬P1 ∨ ¬P2) ∨ ¬P3) ∨ ¬P4))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment