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