Exercise logic.propositional.dnf

Description
Proposition to DNF

Derivation

Final term is not finished
~((q || (T /\ F)) -> r) || q || r
logic.propositional.falsezeroand
~((q || F) -> r) || q || r