Cuando estamos frente a un problema de resolucion- simplificacion de problemas logicos es importante recalcar que si se adapta facilmente al contexto de una expresion muy grande de sql pero solo los terminos comunes entre si se pueden simplificar, en el ejemplo que fue dado se puede operar entre ellos, y un truco es leer todo completo ya que en esta al final dice OR 9>0 que es cualquier condicion o si 9 es mayor que 0 (que es verdadero) cnvierte a toda la expresion en verdadero sin importar que tan complejo sea el otro lado
Hay una materia que se llama Matematicas discretas que te ayuda a solucionar facilmente estos problemas al desarrollar un sentido logico y de abstraccion Un libro muy bueno es el de grimaldi y trae ejercicios muy muy buenos
