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