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