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