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