Exercise logic.propositional.dnf

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