Exercise logic.propositional.dnf

Description
Proposition to DNF

Derivation

Final term is not finished

~(q || ((T /\ (p || p || F)) -> q)) -> p

⇒ logic.propositional.falsezeroor

~(q || ((T /\ (p || p)) -> q)) -> p

⇒ logic.propositional.idempor

~(q || ((T /\ p) -> q)) -> p