Exercise logic.propositional.dnf

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