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