Exercise logic.propositional.dnf

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

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

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

p || F || q

p || q