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