Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
![](http://ideas.cs.uu.nl/images/external.png)
q || ((r || ~(q -> r)) /\ (r || ~((q -> r) /\ (q -> r))))
⇒ logic.propositional.idempandq || ((r || ~(q -> r)) /\ (r || ~(q -> r)))
⇒ logic.propositional.defimplq || ((r || ~(q -> r)) /\ (r || ~(~q || r)))