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