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