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