Unary operation takes precedence over binary operation. First, the priority of non-operation is the highest, followed by conjunction, disjunction, implication and double implication. You're absolutely right.

In addition, quantifiers (full name quantifiers and existential quantifiers) have higher priority than these operators.