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