¿Cuáles son?
-
Asociar la máxima prioridad a la conectiva ⌐ y la mínima a la conectiva →. Las conectivas ⋀ y ⋁ tendrán la misma prioridad y ésta estará entra la de ⌐ y la de →. En igualdad de prioridad consideraremos que la asociatividad es de izquierda a derecha.
-
Eliminar los paréntesis más externos y los que la asignación de prioridades descrita en el punto anterior haga innecesarios. Aunque esta convención permite eliminar muchos de los paréntesis, se tiene absoluta libertad para dejar los que consideremos que mejoran la legibilidad.