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