Exercise logic.propositional.dnf
Description
Proposition to DNF
Firsts
Rule dnf.enter Location [1,1,1,1,1,0] Term "Nothing" Focus "Nothing" Environment ~~T /\ ~~(p /\ ~q) /\ ~F /\ ~F /\ T /\ (p || (p /\ T /\ ~~~~(F || (p /\ ~q)) /\ ~q /\ T /\ ~r)) /\ (T || (p /\ T /\ ~~~~(F || (p /\ ~q)) /\ ~q /\ T /\ ~r)) /\ ((~~~~(F || (p /\ ~q)) /\ ~q) || (p /\ T /\ ~~~~(F || (p /\ ~q)) /\ ~q /\ T /\ ~r)) /\ (T || (p /\ T /\ ~~~~(F || (p /\ ~q)) /\ ~q /\ T /\ ~r)) /\ (T || (p /\ T /\ ~~~~(F || (p /\ ~q)) /\ ~q /\ T /\ ~r)) /\ (q || (p /\ T /\ ~~~~(F || (p /\ ~q)) /\ ~q /\ T /\ ~r)) /\ p /\ ~qready: no