Time out after 50 steps. "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (~~(p /\\ ~~~q) /\\ ~F)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || T) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.absorpor "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (~~(p /\\ ~~~q) /\\ ~F)) /\\ T /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.truezeroand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (~~(p /\\ ~~~q) /\\ ~F)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.notfalse "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.notnot "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (((~q /\\ ~(~p || q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.truezeroand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r))) || (((~q /\\ ~(~p || q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.notnot "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r))) || (((~q /\\ ~(~p || q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.absorpor "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.truezeroand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.notfalse "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.truezeroand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.notnot "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~~~q /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.notnot "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~q /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.idempand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.truezeroand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.idempor "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.notfalse "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ ~~(p /\\ ~~~q) /\\ T /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.truezeroand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ ~~(p /\\ ~~~q) /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.notnot "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~~~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.notnot "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.idempand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.truezeroand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r))) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.notnot "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r))) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.truezeroand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r))) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.notfalse "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r))) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.truezeroand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r))) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.notnot "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~~~q /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r))) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.notnot "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~q /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r))) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.idempand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r))) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.truezeroand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ p /\\ ~r))) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.idempor "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ p /\\ ~r))) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.notfalse "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ ~~(p /\\ ~~~q) /\\ T /\\ p /\\ ~r))) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.truezeroand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ ~~(p /\\ ~~~q) /\\ p /\\ ~r))) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.notnot "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~~~q /\\ p /\\ ~r))) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.notnot "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~q /\\ p /\\ ~r))) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.idempand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r))) || (~~(p /\\ ~~~q) /\\ T)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.absorpand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ T) || (p /\\ ~r))" => logic.propositional.truezeroand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || ~~q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r))) || (p /\\ ~r))" => logic.propositional.notnot "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r))) || (p /\\ ~r))" => logic.propositional.truezeroand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r))) || (p /\\ ~r))" => logic.propositional.notfalse "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ T /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r))) || (p /\\ ~r))" => logic.propositional.truezeroand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ ~~(p /\\ ~~~q) /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r))) || (p /\\ ~r))" => logic.propositional.notnot "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~~~q /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r))) || (p /\\ ~r))" => logic.propositional.notnot "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~q /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r))) || (p /\\ ~r))" => logic.propositional.idempand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r))) || (p /\\ ~r))" => logic.propositional.truezeroand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || ((~q || ~q) /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ p /\\ ~r))) || (p /\\ ~r))" => logic.propositional.idempor "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ p /\\ ~r))) || (p /\\ ~r))" => logic.propositional.notfalse "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ ~~(p /\\ ~~~q) /\\ T /\\ p /\\ ~r))) || (p /\\ ~r))" => logic.propositional.truezeroand "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ ~~(p /\\ ~~~q) /\\ p /\\ ~r))) || (p /\\ ~r))" => logic.propositional.notnot "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~~~q /\\ p /\\ ~r))) || (p /\\ ~r))" => logic.propositional.notnot "~~T /\\ p /\\ T /\\ T /\\ (~F || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ((T /\\ p) || (~q /\\ ~~(p /\\ ~~~q) /\\ ~F /\\ T /\\ p /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ ((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~r)) /\\ ((((~q /\\ ~(~p || q)) || (~q /\\ p /\\ ~r)) /\\ (q || (~q /\\ p /\\ ~q /\\ p /\\ ~r))) || (p /\\ ~r))"