Exercise logic.propositional.dnf.unicode

Description
Proposition to DNF (unicode support)

Examples

easy (1)

¬(q → r) ∨ q ∨ r

medium (3)

(¬q ∧ ¬(p → q)) → p

(q ∨ ¬r) ∧ (q ∨ p) ∧ ¬q

¬p ↔ (p ∧ q)

difficult (1)

(p ∨ q) ∧ (r ↔ p)