DescriptionProposition to DNF (unicode support)
¬(q → r) ∨ q ∨ r
(¬q ∧ ¬(p → q)) → p
(q ∨ ¬r) ∧ (q ∨ p) ∧ ¬q
¬p ↔ (p ∧ q)
(p ∨ q) ∧ (r ↔ p)