Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
![](http://ideas.cs.uu.nl/images/external.png)
q || p || ~~(p -> q)
⇒ logic.propositional.notnotq || p || (p -> q)
⇒ logic.propositional.defimplq || p || ~p || q
⇒ logic.propositional.complorq || T || q
⇒ logic.propositional.truezeroorq || T
⇒ logic.propositional.truezeroorT