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