Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
(((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