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