Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
Final term is not finished(~(F || ~(q || ~r)) /\ (q || p) /\ ~q) || F
⇒ logic.propositional.demorganor(~(F || (~q /\ ~~r)) /\ (q || p) /\ ~q) || F
⇒ logic.propositional.falsezeroor(~(~q /\ ~~r) /\ (q || p) /\ ~q) || F
⇒ logic.propositional.notnot(~(~q /\ r) /\ (q || p) /\ ~q) || F