Duda operadores comparacion

[dontexplain]

Se cumple porque una de ellas es verdadera y para que el conjunto sea verdadero basta que uno sea verdadero.

Eso significa que >= es similar y una forma abreviada de escribir

x > y || x == y

lo que finalmente sería en ese caso y expandido

x < z || x == z || z < y || z == y

3 OR, por lo que con que alguna de estas expresiones sea cierta el conjunto es cierto.

Véase que por reglas de exclusión lógicas si fuera

(x <= z) && (z <= y)

la expresión expandida tendría obligatoriamente que tener paréntesis para que la prioridad se cumpla y sea un AND real entre dos subconjuntos de expresiones OR

(x < z || x == z) && ( z < y || z == y)

Un saludo.