Hola la resolución quedaría:
A=4
B=2
C=5
D=1
E=3
Tamara,
3 de 5 bien. Las primeras 3 están bien. Las últimas dos están intercambiadas.
Lo correcto es D=3 y E1.
El D y el 3 la diferencia es el orden y que el <= está separado en dos. En D: (x==y) | (y<=z). Una expresión equivalente a D es (y<=z) | (x==y), si el primer término lo separamos en dos para que dé verdadero o y es menor a z o y es igual a z. Teniendo en cuenta todo eso se forma la expresión 3.
Si miramos la expresión E y la 1 la segunda condición es la misma, lo que está escrito distinto es la primera condición. En la E la primera condición es x==y, que devuelve verdadero si x es igual a y o falso si es distinta. Y en la 1 la primera condición pregunta ~(x~=y); si lo miramos de a partes (x~=y) devuelve verdadero si x es distinto de y, y falso si x es igual a y, como la expresión tiene ~ adelante, ~(x~=y) devuelve falso si x es distinto de y verdadero si x es igual a y, que es equivalente a x==y.
Espero que haya quedado más claro.
Saludos,
Jimena F.