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