Exercise logic.propositional.dnf

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