Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
q || ((~~p || T) /\ (~~p || (~T /\ r)))
⇒ logic.propositional.notnotq || ((~~p || T) /\ (p || (~T /\ r)))
⇒ logic.propositional.nottrueq || ((~~p || T) /\ (p || (F /\ r)))
⇒ logic.propositional.falsezeroandq || ((~~p || T) /\ (p || F))
⇒ logic.propositional.falsezeroorq || ((~~p || T) /\ p)
⇒ logic.propositional.truezeroorq || (T /\ p)
⇒ logic.propositional.truezeroandq || p