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