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