Resultado de la búsqueda: lógica simplificación disyuntiva