Exercise logic.propositional.dnf

Description
Proposition to DNF

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)