Exercise logic.propositional.dnf

Description
Proposition to DNF

Derivation

Final term is not finished

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