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