Exercise logic.propositional.dnf

Description
Proposition to DNF

Derivation

Final term is not finished

((~r /\ T) || q) /\ ~(~(q /\ ~~~q /\ T) /\ ~~~(p /\ ~q))

⇒ logic.propositional.truezeroand

((~r /\ T) || q) /\ ~(~(q /\ ~~~q) /\ ~~~(p /\ ~q))

⇒ logic.propositional.notnot

((~r /\ T) || q) /\ ~(~(q /\ ~q) /\ ~~~(p /\ ~q))

⇒ logic.propositional.compland

((~r /\ T) || q) /\ ~(~F /\ ~~~(p /\ ~q))