Exercise logic.propositional.cnf

Description
Proposition to CNF

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)