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