Exercise logic.propositional.dnf
Description
Proposition to DNF
Firsts
Rule dnf.enter Location [1,1,1] Term "Nothing" Focus "Nothing" Environment T /\ T /\ ~~(p /\ ~q) /\ ((T /\ q) || ~r || (((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)) /\ (~~T || (((T /\ q) || ~r) /\ ~F /\ ~~T /\ ~~~~(p /\ ~q) /\ ~q /\ p /\ p /\ ~q /\ T /\ ~F)) /\ ((~~~~(p /\ ~q) /\ ~q /\ p /\ 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 /\ ~F) || (((T /\ q) || ~r) /\ ~F /\ ~~T /\ ~~~~(p /\ ~q) /\ ~q /\ p /\ p /\ ~q /\ T /\ ~F))ready: no