Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
((F || p) /\ ((F /\ F /\ ~T) || p)) || q
⇒ logic.propositional.falsezeroand((F || p) /\ (F || p)) || q
⇒ logic.propositional.idempandF || p || q
⇒ logic.propositional.falsezeroorp || q