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