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