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