Exercise logic.propositional.dnf

Description
Proposition to DNF

Derivation

Final term is not finished
(q || ~r) /\ ~(T /\ ~~~F /\ ~(p /\ ~(q /\ T)))
logic.propositional.notnot
(q || ~r) /\ ~(T /\ ~F /\ ~(p /\ ~(q /\ T)))
logic.propositional.notfalse
(q || ~r) /\ ~(T /\ T /\ ~(p /\ ~(q /\ T)))