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