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