hola venicio,
el uso de esos términos, como "mayor precedencia" o "menor precedencia" a mí me cuesta comprender. para entender de qué me hablan, yo recurro a alguna prueba pequeña. esta caso de negación e igualdad resulta un poco confusa porque tenemos la siguiente situación:
(NOT a) = b a=true a=false
b=true false true
b=false true false
NOT (a = b) a=true a=false
b=true false true
b=false true false
es decir, las expresiones (NOT a) = b y NOT (a = b) siempre coinciden. lo mismo sucede
si consideras las expresiones (-m)*n y -(m * n).
pero puedes entender la relación entre los operadores unarios y binarios probando con
la suma y el menos, porque (-m)+n y -(m+n) son, por lo general, diferentes.
fijate la salida del programa
PROGRAM p;
begin
writeln ((-5)+1, -(5+1), -5+1)
end.
como el orden en la precedencia entre el - unario y la suma coincide con
el orden en la precedencia entre el NOT unario y la igualdad, la situación que
se da en el caso que te muestro es el mismo que se da entre los operadores que te preocupaban.
saludos
luis