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