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