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