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