Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
(~q /\ (q || (~r /\ p))) || F
⇒ logic.propositional.andoveror(~q /\ q) || (~q /\ ~r /\ p) || F
⇒ logic.propositional.complandF || (~q /\ ~r /\ p) || F
⇒ logic.propositional.falsezeroor(~q /\ ~r /\ p) || F