Exercise logic.propositional.dnf
Description
Proposition to DNF
Firsts
Rule logic.propositional.absorpor Location [1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~~T /\ (T || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (p || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ ((~F /\ ~q) || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (T || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ ((q /\ ~q) || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ p /\ ~q /\ ~~~~(p /\ ~q) /\ T /\ ~Fready: noRule logic.propositional.notnot Location [1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ (T || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (T || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (p || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ ((~F /\ ~q) || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (T || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ ((q /\ ~q) || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ p /\ ~q /\ ~~~~(p /\ ~q) /\ T /\ ~Fready: noRule logic.propositional.nottrue Location [1,0,0,0] Term "Nothing" Focus "Nothing" Environment p /\ (~F || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (T || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (p || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ ((~F /\ ~q) || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (T || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ ((q /\ ~q) || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ p /\ ~q /\ ~~~~(p /\ ~q) /\ T /\ ~Fready: noRule logic.propositional.truezeroand Location [1,0,1] Term "Nothing" Focus "Nothing" Environment p /\ (~~T || (~~T /\ ~F /\ ~q /\ p /\ ~q /\ ~r)) /\ (T || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (p || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ ((~F /\ ~q) || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (T || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ ((q /\ ~q) || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ p /\ ~q /\ ~~~~(p /\ ~q) /\ T /\ ~Fready: noRule logic.propositional.notnot Location [1,0,1,0] Term "Nothing" Focus "Nothing" Environment p /\ (~~T || (T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (T || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (p || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ ((~F /\ ~q) || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (T || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ ((q /\ ~q) || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ p /\ ~q /\ ~~~~(p /\ ~q) /\ T /\ ~Fready: noRule logic.propositional.nottrue Location [1,0,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ (~~T || (~F /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (T || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (p || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ ((~F /\ ~q) || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (T || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ ((q /\ ~q) || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ p /\ ~q /\ ~~~~(p /\ ~q) /\ T /\ ~Fready: noRule logic.propositional.truezeroand Location [1,0,1,1] Term "Nothing" Focus "Nothing" Environment p /\ (~~T || (~~T /\ ~F /\ ~q /\ p /\ ~q /\ ~r)) /\ (T || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (p || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ ((~F /\ ~q) || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (T || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ ((q /\ ~q) || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ p /\ ~q /\ ~~~~(p /\ ~q) /\ T /\ ~Fready: noRule logic.propositional.notfalse Location [1,0,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ (~~T || (~~T /\ T /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (T || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (p || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ ((~F /\ ~q) || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (T || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ ((q /\ ~q) || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ p /\ ~q /\ ~~~~(p /\ ~q) /\ T /\ ~Fready: noRule logic.propositional.truezeroand Location [1,0,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ (~~T || (~~T /\ ~F /\ ~q /\ p /\ ~q /\ ~r)) /\ (T || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (p || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ ((~F /\ ~q) || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ (T || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ ((q /\ ~q) || (~~T /\ ~F /\ T /\ ~q /\ p /\ ~q /\ ~r)) /\ p /\ ~q /\ ~~~~(p /\ ~q) /\ T /\ ~Fready: no