Time out after 50 steps. "((p || q || p) /\\ (r <-> p) /\\ (p || q) /\\ (r <-> p)) || (q /\\ (r <-> p) /\\ (p || q) /\\ (r <-> p))" => logic.propositional.defequiv "((p || q || p) /\\ ((r /\\ p) || (~r /\\ ~p)) /\\ (p || q) /\\ (r <-> p)) || (q /\\ (r <-> p) /\\ (p || q) /\\ (r <-> p))" => logic.propositional.defequiv "((p || q || p) /\\ ((r /\\ p) || (~r /\\ ~p)) /\\ (p || q) /\\ ((r /\\ p) || (~r /\\ ~p))) || (q /\\ (r <-> p) /\\ (p || q) /\\ (r <-> p))" => logic.propositional.andoveror "((p || q || p) /\\ ((r /\\ p) || (~r /\\ ~p)) /\\ (((p || q) /\\ r /\\ p) || ((p || q) /\\ ~r /\\ ~p))) || (q /\\ (r <-> p) /\\ (p || q) /\\ (r <-> p))" => logic.propositional.andoveror "((p || q || p) /\\ ((r /\\ p) || (~r /\\ ~p)) /\\ ((p /\\ r /\\ p) || (q /\\ r /\\ p) || ((p || q) /\\ ~r /\\ ~p))) || (q /\\ (r <-> p) /\\ (p || q) /\\ (r <-> p))" => logic.propositional.andoveror "((p || q || p) /\\ ((r /\\ p) || (~r /\\ ~p)) /\\ ((p /\\ r /\\ p) || (q /\\ r /\\ p) || (p /\\ ~r /\\ ~p) || (q /\\ ~r /\\ ~p))) || (q /\\ (r <-> p) /\\ (p || q) /\\ (r <-> p))" => logic.propositional.defequiv "((p || q || p) /\\ ((r /\\ p) || (~r /\\ ~p)) /\\ ((p /\\ r /\\ p) || (q /\\ r /\\ p) || (p /\\ ~r /\\ ~p) || (q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p) || (~r /\\ ~p)) /\\ (p || q) /\\ (r <-> p))" => logic.propositional.defequiv "((p || q || p) /\\ ((r /\\ p) || (~r /\\ ~p)) /\\ ((p /\\ r /\\ p) || (q /\\ r /\\ p) || (p /\\ ~r /\\ ~p) || (q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p) || (~r /\\ ~p)) /\\ (p || q) /\\ ((r /\\ p) || (~r /\\ ~p)))" => logic.propositional.andoveror "((p || q || p) /\\ ((r /\\ p) || (~r /\\ ~p)) /\\ ((p /\\ r /\\ p) || (q /\\ r /\\ p) || (p /\\ ~r /\\ ~p) || (q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p) || (~r /\\ ~p)) /\\ (((p || q) /\\ r /\\ p) || ((p || q) /\\ ~r /\\ ~p)))" => logic.propositional.andoveror "((p || q || p) /\\ ((r /\\ p) || (~r /\\ ~p)) /\\ ((p /\\ r /\\ p) || (q /\\ r /\\ p) || (p /\\ ~r /\\ ~p) || (q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p) || (~r /\\ ~p)) /\\ ((p /\\ r /\\ p) || (q /\\ r /\\ p) || ((p || q) /\\ ~r /\\ ~p)))" => logic.propositional.andoveror "((p || q || p) /\\ ((r /\\ p) || (~r /\\ ~p)) /\\ ((p /\\ r /\\ p) || (q /\\ r /\\ p) || (p /\\ ~r /\\ ~p) || (q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p) || (~r /\\ ~p)) /\\ ((p /\\ r /\\ p) || (q /\\ r /\\ p) || (p /\\ ~r /\\ ~p) || (q /\\ ~r /\\ ~p)))" => logic.propositional.genandoveror "((p || q || p) /\\ ((((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p) || (~r /\\ ~p)) /\\ ((p /\\ r /\\ p) || (q /\\ r /\\ p) || (p /\\ ~r /\\ ~p) || (q /\\ ~r /\\ ~p)))" => logic.propositional.andoveror "((p || q || p) /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (~r /\\ ~p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p) || (~r /\\ ~p)) /\\ ((p /\\ r /\\ p) || (q /\\ r /\\ p) || (p /\\ ~r /\\ ~p) || (q /\\ ~r /\\ ~p)))" => logic.propositional.compland "((p || q || p) /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (~r /\\ F /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p) || (~r /\\ ~p)) /\\ ((p /\\ r /\\ p) || (q /\\ r /\\ p) || (p /\\ ~r /\\ ~p) || (q /\\ ~r /\\ ~p)))" => logic.propositional.falsezeroand "((p || q || p) /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (~r /\\ F) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p) || (~r /\\ ~p)) /\\ ((p /\\ r /\\ p) || (q /\\ r /\\ p) || (p /\\ ~r /\\ ~p) || (q /\\ ~r /\\ ~p)))" => logic.propositional.falsezeroand "((p || q || p) /\\ ((r /\\ p /\\ p /\\ r /\\ p) || F || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p) || (~r /\\ ~p)) /\\ ((p /\\ r /\\ p) || (q /\\ r /\\ p) || (p /\\ ~r /\\ ~p) || (q /\\ ~r /\\ ~p)))" => logic.propositional.falsezeroor "((p || q || p) /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p) || (~r /\\ ~p)) /\\ ((p /\\ r /\\ p) || (q /\\ r /\\ p) || (p /\\ ~r /\\ ~p) || (q /\\ ~r /\\ ~p)))" => logic.propositional.genandoveror "((p || q || p) /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.andoveror "((p || q || p) /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (~r /\\ ~p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.compland "((p || q || p) /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (~r /\\ F /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.falsezeroand "((p || q || p) /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (~r /\\ F) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.falsezeroand "((p || q || p) /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p /\\ p /\\ r /\\ p) || F || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.falsezeroor "((p || q || p) /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.idempand "((p || q || p) /\\ ((r /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.idempand "((p || q || p) /\\ ((r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.absorpor "((p || q || p) /\\ ((r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.andoveror "((p || q || p) /\\ ((r /\\ p) || (r /\\ p /\\ p /\\ ~r /\\ ~p) || (~r /\\ ~p /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.absorpor "((p || q || p) /\\ ((r /\\ p) || (~r /\\ ~p /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.compland "((p || q || p) /\\ ((r /\\ p) || (~r /\\ F /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.falsezeroand "((p || q || p) /\\ ((r /\\ p) || (~r /\\ F) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.falsezeroand "((p || q || p) /\\ ((r /\\ p) || F || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.falsezeroor "((p || q || p) /\\ ((r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.andoveror "((p || q || p) /\\ ((r /\\ p) || (r /\\ p /\\ q /\\ ~r /\\ ~p) || (~r /\\ ~p /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.absorpor "((p || q || p) /\\ ((r /\\ p) || (~r /\\ ~p /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.genandoveror "(p /\\ ((r /\\ p) || (~r /\\ ~p /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p) || (~r /\\ ~p /\\ q /\\ ~r /\\ ~p))) || (p /\\ ((r /\\ p) || (~r /\\ ~p /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.andoveror "(p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ ((r /\\ p) || (~r /\\ ~p /\\ q /\\ ~r /\\ ~p))) || (p /\\ ((r /\\ p) || (~r /\\ ~p /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.andoveror "(p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ r /\\ p) || (q /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (p /\\ ((r /\\ p) || (~r /\\ ~p /\\ q /\\ ~r /\\ ~p))) || (q /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.andoveror "(p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ r /\\ p) || (q /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.idempand "(p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ r /\\ p) || (q /\\ ~r /\\ ~p) || (p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ ((r /\\ p /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.idempand "(p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ r /\\ p) || (q /\\ ~r /\\ ~p) || (p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ ((r /\\ p /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.idempand "(p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ r /\\ p) || (q /\\ ~r /\\ ~p) || (p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ ((r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.absorpor "(p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ r /\\ p) || (q /\\ ~r /\\ ~p) || (p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ ((r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.andoveror "(p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ r /\\ p) || (q /\\ ~r /\\ ~p) || (p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ ((r /\\ p) || (r /\\ p /\\ p /\\ ~r /\\ ~p) || (~r /\\ ~p /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.absorpor "(p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ r /\\ p) || (q /\\ ~r /\\ ~p) || (p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ ((r /\\ p) || (~r /\\ ~p /\\ p /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.compland "(p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ r /\\ p) || (q /\\ ~r /\\ ~p) || (p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ ((r /\\ p) || (~r /\\ F /\\ ~r /\\ ~p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.falsezeroand "(p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ r /\\ p) || (q /\\ ~r /\\ ~p) || (p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ ((r /\\ p) || (~r /\\ F) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.falsezeroand "(p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ r /\\ p) || (q /\\ ~r /\\ ~p) || (p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ ((r /\\ p) || F || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.falsezeroor "(p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ r /\\ p) || (q /\\ ~r /\\ ~p) || (p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ ((r /\\ p) || (((r /\\ p) || (~r /\\ ~p)) /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.andoveror "(p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ r /\\ p) || (q /\\ ~r /\\ ~p) || (p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ ((r /\\ p) || (r /\\ p /\\ q /\\ ~r /\\ ~p) || (~r /\\ ~p /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.absorpor "(p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ r /\\ p) || (q /\\ ~r /\\ ~p) || (p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ ((r /\\ p) || (~r /\\ ~p /\\ q /\\ ~r /\\ ~p)))" => logic.propositional.andoveror "(p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ r /\\ p) || (q /\\ ~r /\\ ~p) || (p /\\ r /\\ p) || (p /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p) || (q /\\ r /\\ p) || (q /\\ ~r /\\ ~p /\\ q /\\ ~r /\\ ~p)"