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