DescriptionProposition to DNF
~(q -> r) || q || r
(~q /\ ~(p -> q)) -> p
(q || ~r) /\ (q || p) /\ ~q
~p <-> (p /\ q)
(p || q) /\ (r <-> p)