Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
Final term is not finished
(~(F || (q -> r)) /\ ~(q -> r)) || r || q
⇒ logic.propositional.defimpl(~(F || ~q || r) /\ ~(q -> r)) || r || q
⇒ logic.propositional.falsezeroor(~(~q || r) /\ ~(q -> r)) || r || q