Exercise logic.propositional.cnf.unicode

Description
Proposition to CNF (unicode support)

Examples

easy (2)

¬((q → r) → ¬q)

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

medium (2)

((q ∨ p) → (q → p)) → (r ∧ q ∧ p)

p ↔ (p ∧ q)

difficult (1)

(p ∧ q) ∨ (p ↔ r)