no se si me desvío o te ayudo pero vamos...
algo util es leerlo como lenguaje humano... recoermos que "y" incluye y "o" excluye
por ejemplo
((A y B) y (C o D) o (E y F)) o G
aquí por el parentesis sacamos a "G", si "G" es verdadero no hay discusión
nos queda
(A y B) y (C o D) o (E y F)
como "y" incluye, los reunimos, como "o" excluye lo separamos
((A y B) y (C o D)) o (E y F)
como justifico esto? en lenguaje humano, demos adjetivos y veamos
(A y B) será "amarillo"
(C o D) será "rojo"
(E y F) será "azul"
ahora demos un punto, debo dar un objetivo... vamos a comprar un carro, que color?
amarillo y rojo o azul
aquí vemos el orden usual de evalución
https://msdn.microsoft.com/es-es/library/2bxt6kc4.aspx el orden como en el idioma es "y" < "xor" < "o" es decir primero "y" que "o"
vamos a comprar un carro que sea (rojo y amarillo)... o (azul).... ya que el "y" incluye
entonces volvemos con lo que llevabamos
((A y B) y (C o D)) o (E y F)
en este caso sabemos que si "E y F" son verdadero (al ser "y" ambos deben serlo) entonces no importa el resto... nos queda el resto
(A y B) y (C o D)
ambas partes deben cumplirse para ser cierto así que podemos usar "y" que une como propiedad distributiva
(A y B y C) o (A y B y D)
ya que A y B siempre deben cumplirse quienes son flexibles son C y D
esto es como: de nuevo en lenguaje
A = Alto
B = Bonito
C = Casado
D = Deportista
la persona debe ser
(Alto y Bonito) y (Casado o Deportista)
es decir siempre debe ser alto y bonito pero por lo menos Casado o Deportista... así que podemos distribuir como antes
(Alto y Bonito y Casado) o (Alto y Bonito y Deportista)
entonces... todo esto a que nos lleva?
los "y" unen, los "o" separan (indiscutiblemente los paréntesis unen)
espero se haya entendido