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