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