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