Hola,
Aquí mi respuesta:
Te dibujo una pequeña imagen que representa los rangos:
- ¿El aumento del nivel de las competiciones de matemáticas ha resultado en un aumento de las capacidades en las ciencias del mundo real?
- ¿Por qué una máquina Turing puede ejecutar todos los algoritmos informáticos?
- ¿Cuáles son los conocimientos matemáticos que debo saber para hacer la programación de mainframe?
- ¿Qué temas de informática utilizan el cálculo? ¿Cuáles son algunos otros subcampos utilizados en informática?
- ¿Qué es la skolemización?
Ahora, tu fórmula es así:
max (x1, y1) <= min (x2, y2)
Comprueba cuál está más al lado derecho entre X1 e Y1, en este caso es Y1.
Luego verifica cuál está más a la izquierda, X2 o Y2. En este caso, es X2.
Ahora solo tiene que verificar si Y1 es más pequeño que X2 (lo es), por lo que la fórmula se evalúa como verdadera.
Ahora veamos qué sucede cuando usamos el rango Z en lugar de Y:
max (x1, z1) <= min (x2, z2)
¿Qué hay más a la derecha, X1 o Z1? En este caso X1.
¿Qué hay más a la izquierda, X2 o Z2? En este caso Z2. ¿X1 es más pequeño que Z2? Si, una vez mas.
¿Como funciona?
Verifica si la línea azul (la superposición) existe. Verifica si el inicio más a la derecha es más pequeño que el extremo más a la izquierda para ver si hay una superposición.
¿Qué sucede si no hay superposición?
El inicio más a la derecha es Y1. El extremo más a la izquierda es X2.
¿Y1 es más pequeño que X2? ¡NO!
Si agrega (0, 1) y (2, 3) en su fórmula, se verá así:
max (0,2) <= min (1,3)
2 <= 1
Falso
Espero que te pueda ayudar.
Saludos