the negation operator has higher precedents than any of the other o perators, and has higher precedents than or and the remaining operators, and or has higher precedents than the implication operator, the reduction operator, or the equivalence operator.