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