Exercise

Exercise logic.propositional.dnf

Description
Proposition to DNF

Derivation

Final term is not finished

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

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

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