Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
~(~q /\ ~(~(T /\ p) || q)) || p
⇒ logic.propositional.truezeroand~(~q /\ ~(~p || q)) || p
⇒ logic.propositional.demorganand~~q || ~~(~p || q) || p
⇒ logic.propositional.notnotq || ~~(~p || q) || p
⇒ logic.propositional.notnotq || ~p || q || p