Hola, que tal. Te lo voy a explicar así a ver si me doy a entender. Y si estoy equivocado, que alguien me diga, por favor.

Una condición está dada por la relación entre dos o más valores y uno o más operadores. Es decir, que una condición, quedaría de la siguiente manera:

valor operador valor ----> Ejemplo: a = b

Los operadores son relaciones, es decir, nos indican la relación entre un valor y otro. Igualdad, desigualdad, etc. Pero todos estos operadores tienen algo en común, que devuelven un valor booleano, al igual que los operadores booleanos AND, OR. Por eso es que pueden trabajar juntos y siguen las mismas reglas de los operadores aritméticos: primero paréntesis y de derecha a izquierda según el orden de evaluación. Debes revisar el orden de evaluación del lenguaje que utilizas para comprobar que operadores se evalúan primero en tu expresión condicional. En el ejemplo que das (C1 o C2) y (C3 o C4) se evalúa así:

Paso 1 (C1 o C2) --> Si C1 o C2 son verdaderos.
Paso 2 (C3 o C4) --> Si C3 o C4 son verdaderos.
Paso 3 ( (Paso 1) y (Paso 2) ) --> Si el paso 1 y el paso 2 son verdaderos

Si ejecutamos de manera simbólica (a modo de ejemplo), reemplazando los valores por verdadero o falso:

         Paso 1                              Paso 2
(verdadero OR falso) AND (falso OR verdadero)

       (verdadero)       AND       (verdadero

                           verdadero

Resumen: Sigue las reglas del orden de evaluación de los operadores y no tienes pierde.

La respuesta rápida es: SÍ

La respuesta extendida es: Sí, debido a las propiedades asociativa, distributiva y conmutativa de los operadores lógicos. Puedes encontrar mucha información al respecto en wikipedia. En la parte que dice axiomas en el enlace que te dejo más abajo.

https://es.wikipedia.org/wiki/L%C3%B3gica_binaria

El Benjo:
Sin paréntesis me hago un lío en casos como este:
((A y B) y (C o D) o (E y F)) o G
Creo que tendré que usarlos. El problema es que un programa que genere ese tipo de expresiones, con paréntesis, me parece bastante difícil. Por otro lado ¿cómo expresarías eso, sin paréntesis? Porque mi pregunta era si se podía expresar cualquier cosa sin paréntesis. Yo pensé que sí, pero como no me da la mente para interpretar de izquierda a derecha como si tuviese sólo una interpretación, ya no sé.

El artículo de wikipedia está interesante, pero difícil, no lo entendí del todo. En el 2ndo ejemplo de propiedad distributiva no han quitado los paréntesis. ¿Y se supone que el and tiene prioridad como si fuese un *?

Digamos que tienes razón en que no pueden decir nada al respecto, pero yo no pedí que hablaran de ello.
Dije que no sé si mi lenguaje admite paréntesis en las condiciones, ejemplo "V1<V2 or (V1==V2 and V2==V3)" ni cómo las toma, lo cual evidentemente es algo que yo debo averiguar, no pedí ayuda con eso.

Action Script de Macromedia Flash 5. Es prácticamente el único que uso y mi favorito.

Puse inventar entre comillas, significa en ese caso que la expresión se tome con pinzas, que no es tan literal. Nunca había visto paréntesis en una condición para separar partes or-and, y se los puse, o sea que desde mi punto de vista es algo nuevo.

Sí.

Exacto, las expresiones que mencioné parecen ser ambiguas, es lo que quisiera saber cómo arreglar, en lo posible sin usar paréntesis.

No entiendo tu critica.

Ante mi pregunta
"¿Cualquier relación puede expresarse sin necesidad de paréntesis, y se interpretaría bien?"
no veo un problema.

La que tú preguntas parece responderse sólo, como ¿hay alguna forma de hacer triángulos que no requiera algún ángulo >90? Claro, la mayoría no lo requieren.

El problema son las expresiones que parecen requerirlo (a algún paréntesis) ¿realmente lo requieren o hay otra forma de decirlas que no use paréntesis?

Por ejemplo si digo "rojo" y pregunto ¿hay alguna forma de expresar ese color sin mencionar la "o"? Me puedes decir "Sí, red", entre otras cosas.

EDIT:
En tu caso diciendo "requiera" en vez de "requieran", ahí sí.
Porque si dices "requieran" pareces referirte a las expresiones, no a LA forma o método.

...

Hombre, yo estoy hablando de los operadores AND y OR.

Tú me vienes con +, *, -.

Por el link que me dió El Benjo parece que se pueden traducir a eso, pero intenta no entreverarme ¿estamos hablando de lo mismo o no?

Notación de infijo (o normal): Las que solemos usar, porque las entendemos bién al 'leerlas', los operadores aparecen a ambos lados y el operador en medio.
Ejemplos: A o B
(A y B) o (C-(D y E)) <-- nota que los ejemplos son los mismos para los 3, para que veas las diferencias).
Notación de prefijo (o polaca): Los operadores van delante, los operadores detrás.
Ejemplos: oAB; oyABC-yDE
Notación de sufijo (o postfijo, inversa):Los operandos van delante, los operadores al final.
Ejemplos: ABo; AByCoDEy-

En tus descripciones de los operadores te has hecho un lío, pero la idea la entendí gracias a los ejemplos.

EDIT2: El "xor" y cosas así más complejas que and y or creo que no las necesito, pero supongo que acortan ciertas expresiones, veremos...

Probablemente sea la respuesta que necesitaba. Lo que no entiendo bien es cómo se interpretaría cada uno, pero sería cuestión de investigar y de práctica.

Más bien necesito lo inverso, pero veremos.

Sí, la verdad que sí. Pero si son como las expresiones matemáticas entonces no. ¿Cómo interpretarías esto, si fueses de izquierda a derecha?
A y B y C o D o E y F o G

Yo
ABC o D o E y (F o G)

Pero si fuese como en matemática sería:
ABC o D o EF o G

Ni siquiera sé de lo que me estás hablando. Para mí pila es un "aparato" que se guarda en otros para darle energía, o una montaña con cierto orden.
Ni te preocupes en aclarármelo, sólo te comento.

Voy a tener que practicar cosas. Nos veremos.

Acabo de probar esto
Y la condición no se cumple. ¿Conclusiones de cómo se interpreta? Escucho.

NOTA: Puse números en vez de variables porque así me es más fácil modificarlos y ver si se cumplen o no. Está claro que jamás voy a poner subcondiciones que dan siempre el mismo resultado xD

Podemos resumir cada subcondición mediante un número fácilmente porque lo que está a la derecha es como un identificador:
0<1: subcondición nro 1
0<2: subcondición nro 2
etc

Si se cumplen la 1, 2 y 3, entonces la condición se cumple. Ya lo comprobé, les puse 0 delante a las 3 y 9 delante en las demás, o sea, sólo se cumplieron esas 3 y con eso ya alcanzó.

Es como si se hiciera esto:
(0<1 && 0<2 && 0<3) or (8<4 or 0<5 && 8<6 && 9<7 or 9<8)

Si se cumple la 4. se cumple la condición, ya está confirmado.

Es así:
(0<1 && 0<2 && 9<3) or (0<4) or (0<5 && 8<6 && 9<7 or 9<8)

Si se cumple la 5, 6 y 7, se cumple la condición. Si falla una y las demás, no se cumple.

(0<1 && 0<2 && 9<3) or (0<4) or (0<5 && 8<6 && 9<7) or (9<8)

Listo...

En conclusión, es como si las or marcaran el final de un paréntesis y el inicio de otro.

Todo esto puede parecer muy obvio, pero yo no sabía si se interpretaba así:
(0<1 && 0<2) && (9<3 or 8<4 or 0<5) && (8<6 && (9<7 or 9<8)
o de alguna de las no sé cuántas formas posibles.


Ahora la siguiente pregunta que había planteado.

Cosas como esta:
(9<1 or 0<2) && (9<3 or 0<4)
¿Se pueden expresar sin paréntesis, en una condición, tal como se hace en el lenguaje que he mostrado (porque las notaciones polacas que me comentaron son interesantes, pero en el Action Script que uso no creo que sean válidas)?

No se me ocurre.

Lo que se podría hacer es usar ifs anidados (me lo habían comentado pero no me dieron detalles, recién ahora lo entiendo):

Creo que mis dudas en este sentido están resueltas.

Gracias.

Yo diría que hiciste ambas cosas xD

Creo que te desviaste porque creo que me hablaste de cómo interpretar cosas que tienen paréntesis, lo cual yo ya sé, yo lo que quería era entender cómo se interpreta algo que no los tiene.

Pero me ayudaste porque me hablaste de que "y" une y "o" separa. La verdad eché un vistazo a tu post hace rato y no entendí mucho, pero tu idea se ve que me quedó y me ayudó con el análisis que hice arriba.

Qué interesante. Recientemente había empezado a escribir así por ejemplo "rojo (y amarillo) o azul", porque sino veía una ambigüedad. Con tu forma de poner paréntesis también está bien, lo que quiero decir es que el problema o la duda yo l@ tenía no sólo en programación sino en el lenguaje natural también. Y aunque se diga que está clarísimo yo lo seguiría agarrando con pinzas, o con paréntesis, jaja.

También me gustó tu idea de resumir conjuntos de subcondiciones. Eso de llamarles "amarillo" por ejemplo. Me puede servir.

¿Pero esto sirve de algo? Alargaste la expresión. Y no es que hayas quitado los paréntesis.

recuerda "y" une, "o" separa


recuerda que or es || (2 barras verticales)

y escribiendolo así es aún más claro


ves como se separan las secciones? si cualquiera de esas secciones se cumple esto es valido

sobre

no los puedes expresas sin parentesis, porque "o" separa y los estás manteniendo unido con parentesis, si quieres expresarlo sin parentesis te toca distribuir (respondiendo a esto)


no quité los parentesis para que fuera visible, pero no son necesario ("o" separa)


sin parentesis es


como he repetido 1000 veces XD los "o" separan, es decir, si cualquiera de las 4 condiciones (&&) se cumple vale, es decir, por la ultima, esto es verdadero