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