Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
![](http://ideas.cs.uu.nl/images/external.png)
(((T || q || ~~p) /\ (F || q)) || ((T || q || ~~p) /\ ~~p)) /\ (r || q || ~~p)
⇒ logic.propositional.absorpand(((T || q || ~~p) /\ (F || q)) || ~~p) /\ (r || q || ~~p)
⇒ logic.propositional.falsezeroor(((T || q || ~~p) /\ q) || ~~p) /\ (r || q || ~~p)
⇒ logic.propositional.notnot(((T || q || ~~p) /\ q) || p) /\ (r || q || ~~p)
⇒ logic.propositional.notnot(((T || q || ~~p) /\ q) || p) /\ (r || q || p)
⇒ logic.propositional.truezeroor((T /\ q) || p) /\ (r || q || p)
⇒ logic.propositional.truezeroand(q || p) /\ (r || q || p)
⇒ logic.propositional.absorpandq || p