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