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