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