📚 OPS Combined: Mastering Operation Precedence in Programming | 组合运算：掌握编程中的操作优先级
When we write a line of code that mixes arithmetic, relational, and logical operators, the computer does not simply execute from left to right. Instead, it follows a strict set of precedence and associativity rules to determine which operation happens first. This concept, often abbreviated as OPS (Operations Precedence System) in many Edexcel A‑Level resources, forms the backbone of reliable expression evaluation. Mastering it not only helps you avoid subtle bugs but also sharpens your ability to read and predict program behaviour under exam conditions.
当我们在代码中混用算术、关系与逻辑运算符时，计算机并非简单地从左到右执行。相反，它遵循一套严格的优先级与结合性规则来决定哪个操作先发生。这一概念在Edexcel A‑Level的资源中常被简称为OPS（操作优先级系统），是表达式可靠求值的基础。掌握它不仅能帮助你避免隐蔽的错误，还能在考试场景下增强阅读和预测程序行为的能力。
1. What Are Combined Operations? | 什么是组合运算？
Combined operations occur whenever a single expression contains more than one type of operator – for example, arithmetic plus relational, or relational plus logical. In pseudocode, an expression like 3 + 5 * 2 > 10 AND NOT flag mixes multiplication, addition, comparison, and Boolean logic. The machine must resolve which part to evaluate first, and this resolution is governed by a priority table standardised in the Edexcel specification.
只要一个表达式中包含不止一种运算符（例如算术加关系，或关系加逻辑），就出现了组合运算。在伪代码中，类似 3 + 5 * 2 > 10 AND NOT flag 这样的式子混合了乘法、加法、比较和布尔逻辑。机器必须决定先对哪一部分求值，而这一决策受Edexcel规范中标准化的优先级表支配。
Edexcel expects candidates to be able to trace expression evaluation step by step, to bracket sub‑expressions correctly, and to predict the final Boolean result of a condition used in selection or iteration statements. Understanding OPS is therefore directly assessed in Paper 1 (Principles of Computer Science) algorithms and code‑tracing questions.
Edexcel期望考生能够逐步追踪表达式的求值过程，正确地给子表达式加括号，并预测选择或迭代语句中使用的条件的最终布尔结果。因此，对OPS的理解直接体现在Paper 1（计算机科学原理）的算法和代码追踪题中。
2. Arithmetic Operators and Their Precedence | 算术运算符及其优先级
Arithmetic operators form the innermost layer of most combined expressions. The standard hierarchy, from highest to lowest priority, is: parentheses ( ), exponentiation ^, unary minus, multiplication/division/modulo, and finally addition/subtraction. Many Edexcel‑style pseudocode examples also include DIV and MOD, which share the same precedence as multiplication.
算术运算符构成了大多数组合表达式的最内层。标准的优先级从高到低依次为：括号、指数、一元负号、乘/除/取模，最后是加/减。许多Edexcel风格的伪代码示例还会包含 DIV 和 MOD，它们与乘法具有相同的优先级。
Consider 10 – 2 ^ 3 + 6 / 2. The exponentiation 2^3 = 8 is evaluated first, then 6/2 = 3, leaving 10 – 8 + 3. Since addition and subtraction are left‑associative, we start from the left: 10 – 8 = 2, then 2 + 3 = 5. Writing the same expression as 10 – 2 ^ 3 + (6 / 2) makes no difference because division already outranks addition.
考虑 10 – 2 ^ 3 + 6 / 2。首先求指数 2^3 = 8，然后 6/2 = 3，得到 10 – 8 + 3。由于加减法为左结合，我们从左开始：10 – 8 = 2，再 2 + 3 = 5。将该表达式写成 10 – 2 ^ 3 + (6 / 2) 结果不变，因为除法的优先级本身高于加法。
- 括号 ( )
- 指数 ^
- 一元负号 –
- * / DIV MOD
- + –
Exam tip: use the mnemonic PEMDAS (Parentheses, Exponents, Multiplication/Division, Addition/Subtraction) but remember that DIV and MOD share the M tier.
考试提示：使用记忆口诀PEMDAS，但记住DIV和MOD与乘法处于同一层级。
3. Relational (Comparison) Operators | 关系（比较）运算符
Relational operators compare two values and yield a Boolean result: <, >, <=, >=, =, <>. In Edexcel pseudocode, equality is tested with a single = and inequality with <>. Relational operators have lower precedence than all arithmetic operators. This means a * 3 < b + 2 is evaluated as (a * 3) < (b + 2), not as a * (3 < b) + 2 which would be nonsensical.
关系运算符比较两个值并产生布尔结果：<, >, <=, >=, =, <>。在Edexcel伪代码中，相等性测试使用单个 =，不等使用 <>。关系运算符的优先级低于所有算术运算符。这意味着 a * 3 < b + 2 会被当作 (a * 3) < (b + 2) 求值，而不是毫无意义的 a * (3 < b) + 2。
When several relational operators appear together, they often require a logical glue. Writing 5 > x > 1 may be acceptable in mathematics but in most programming languages (and in Edexcel pseudocode) it must be expressed as (x < 5) AND (x > 1). A single relational comparison always produces TRUE or FALSE, so chaining without logical operators leads to unexpected results.
当多个关系运算符同时出现时，往往需要逻辑胶水将它们连接。写成 5 > x > 1 在数学上或许可以接受，但在大多数编程语言（以及Edexcel伪代码）中，必须表示为 (x < 5) AND (x > 1)。单独的关系比较总是返回TRUE或FALSE，因此不加逻辑运算符而连续比较会导致意外的结果。
4. Logical Operators and Truth Tables | 逻辑运算符与真值表
Logical operators (AND, OR, NOT) combine Boolean values. NOT has the highest precedence, higher than any relational or arithmetic operator. AND comes next, then OR. Thus NOT x > y AND flag OR done is actually ((NOT (x > y)) AND flag) OR done.
逻辑运算符（AND, OR, NOT）组合布尔值。NOT 优先级最高，高于所有关系或算术符；其次是 AND，最后是 OR。因此 NOT x > y AND flag OR done 实际等同于 ((NOT (x > y)) AND flag) OR done。
| A | B | A AND B |
| TRUE | TRUE | TRUE |
| TRUE | FALSE | FALSE |
| FALSE | TRUE | FALSE |
| FALSE | FALSE | FALSE |
The truth table for AND shows it returns TRUE only when both operands are TRUE. OR returns TRUE if at least one operand is TRUE, while NOT flips the value. Edexcel often presents complex conditions combining AND, OR and NOT, expecting you to reduce them using De Morgan’s laws: NOT (A AND B) ⇌ (NOT A) OR (NOT B) and NOT (A OR B) ⇌ (NOT A) AND (NOT B).
AND的真值表显示，仅当两个操作数均为TRUE时才返回TRUE。OR在至少一个操作数为TRUE时返回TRUE，而NOT翻转值。Edexcel经常给出组合了AND、OR和NOT的复杂条件，期望考生能用德摩根律化简：NOT (A AND B) ⇌ (NOT A) OR (NOT B) 以及 NOT (A OR B) ⇌ (NOT A) AND (NOT B)。
5. Complete Precedence Table for Combined Expressions | 组合表达式完整优先级表
To handle combined arithmetic – relational – logical expressions confidently, you must memorise the overall hierarchy. The table below synthesises the Edexcel pseudocode operator precedence, listing categories from highest to lowest.
要自信地处理算术–关系–逻辑混合表达式，你必须熟记整体层次。下表综合了Edexcel伪代码运算符优先级，由高到低列出各个类别。
| Priority | Category | Operators |
|---|---|---|
| 1 (highest) | Parentheses | ( ) |
| 2 | Exponentiation | ^ |
| 3 | Unary minus | – |
| 4 | Multiplicative | * / DIV MOD |
| 5 | Additive | + – |
| 6 | Relational | < > <= >= = <> |
| 7 | Logical NOT | NOT |
| 8 | Logical AND | AND |
| 9 (lowest) | Logical OR | OR |
Notice that NOT sits between relational and AND; this surprises many students but explains why NOT a > b AND c evaluates as (NOT (a > b)) AND c.
注意NOT位于关系运算符与AND之间，这让很多学生感到意外，但也解释了为什么 NOT a > b AND c 会按 (NOT (a > b)) AND c 求值。
6. Using Parentheses to Control Evaluation | 使用括号控制求值
Even when you know the precedence rules, inserting extra parentheses improves readability and reduces the risk of misinterpretation. In Edexcel exam scripts, you are free to add brackets as long as they do not alter the intended logic. For example, the complex condition age >= 13 AND score > 50 OR bonus = TRUE could be clarified as (age >= 13 AND score > 50) OR bonus = TRUE if that matches the specification’s intent.
即使你熟知优先级规则，插入多余的括号也能增强可读性并减少误读风险。在Edexcel考试答案中，只要不改变预期逻辑，你可以自由添加括号。例如，复杂条件 age >= 13 AND score > 50 OR bonus = TRUE 可以澄清为 (age >= 13 AND score > 50) OR bonus = TRUE，如果这与题目意图一致的话。
Over‑bracketing is rarely penalised, whereas under‑bracketing can completely invert a Boolean result. If you are asked to translate a sentence like “the alarm sounds if the door is open and either the code is wrong or the time exceeds 60 seconds” into an expression, write doorOpen = TRUE AND (codeWrong = TRUE OR time > 60). Without parentheses, AND would bind before OR, giving the wrong policy.
多加括号很少会被扣分，而少加括号则可能彻底逆转布尔结果。如果要求你将“若门处于打开状态且密码错误或时间超过60秒则报警”翻译成表达式，应写成 doorOpen = TRUE AND (codeWrong = TRUE OR time > 60)。如果不加括号，AND会先于OR结合，导致错误的控制逻辑。
7. Short‑Circuit Evaluation in Logical Expressions | 逻辑表达式中的短路求值
Most compilers and interpreters, and the Edexcel pseudocode evaluator, use short‑circuit evaluation for AND and OR. When evaluating condition1 AND condition2, if condition1 is FALSE the whole AND is already FALSE, so condition2 is never executed. Similarly, for condition1 OR condition2, if condition1 is TRUE the OR is already TRUE, so condition2 is skipped. This has important practical implications when the second condition involves a function call or an array access that might cause an error.
大多数编译器和解释器，以及Edexcel伪代码执行器，会对AND和OR使用短路求值。求值 condition1 AND condition2 时，若condition1为FALSE，整个AND已为FALSE，因此condition2不会执行。类似地，对于 condition1 OR condition2，若condition1为TRUE则OR已为TRUE，condition2被跳过。当第二个条件涉及函数调用或可能出错的数组访问时，这一特性具有重要的实际意义。
Consider a guard condition: index >= 0 AND index < LEN(arr) AND arr[index] > threshold. Thanks to short‑circuiting, if index is out of bounds the third part is never evaluated, preventing a runtime error. Edexcel may ask you to explain why this works or to predict which parts of a condition execute for given inputs.
考虑防护条件：index >= 0 AND index < LEN(arr) AND arr[index] > threshold。得益于短路机制，若index越界，第三部分根本不会被求值，从而避免运行时错误。Edexcel可能会要求你解释其原理，或者预测给定输入下条件的哪些部分会被执行。
8. Associativity: Left to Right or Right to Left? | 结合性：左结合还是右结合？
When two operators of the same precedence appear, the direction of associativity decides the order. In Edexcel pseudocode, most binary operators (+, –, *, /, AND, OR) are left‑associative, meaning evaluation proceeds from left to right. Exponentiation ^ and unary minus are right‑associative. For instance, 2 ^ 3 ^ 2 is read as 2 ^ (3 ^ 2), i.e. 2^9 = 512, not (2^3)^2 = 64.
当两个相同优先级的运算符出现时，结合性方向决定求值顺序。在Edexcel伪代码中，大多数二元运算符（+, –, *, /, AND, OR）为左结合，即从左向右求值。指数 ^ 和一元负号为右结合。例如，2 ^ 3 ^ 2 应理解为 2 ^ (3 ^ 2)，即 2^9 = 512，而非 (2^3)^2 = 64。
For addition and subtraction, left‑associativity is intuitively obvious: 10 – 3 + 2 is (10 – 3) + 2 = 9. If subtraction were right‑associative, the result would be 10 – (3 + 2) = 5, which contradicts the standard mathematical convention. Relational operators should not be chained directly, so associativity is less relevant there.
对于加减法，左结合性符合直觉：10 – 3 + 2 等于 (10 – 3) + 2 = 9。如果减法为右结合，结果将为 10 – (3 + 2) = 5，这与标准数学惯例相悖。关系运算符不应直接连接，因此结合性的影响较小。
9. Common Pitfalls and Debugging Tips | 常见陷阱与调试技巧
One classic mistake is forgetting that = in Edexcel pseudocode is a comparison, not an assignment, when it appears inside a condition. Writing IF x = 5 THEN … correctly checks equality. However, when a student writes something like IF x + 2 = 7 AND y < 3 THEN …, the whole x + 2 = 7 is a Boolean expression; no assignment occurs.
一个典型错误是忘记Edexcel伪代码中的 = 在条件内部时表示比较而非赋值。编写 IF x = 5 THEN … 会正确地检查相等性。然而，当学生写出 IF x + 2 = 7 AND y < 3 THEN … 时，整条 x + 2 = 7 是一个布尔表达式，不发生赋值操作。
Another error involves mixing AND and OR without parentheses in control flow. A condition like IF a OR b AND c THEN might be read by the compiler as IF a OR (b AND c), which could allow access when a alone is sufficient. Always draw a parse tree or insert parentheses to clarify intent.
另一个错误涉及在控制流中不写括号而混合AND和OR。条件 IF a OR b AND c THEN 可能被编译器解读为 IF a OR (b AND c)，这可能在单独的 a 满足时就允许进入。务必绘制解析树或插入括号以澄清意图。
Use a trace table during desk‑checking: list every sub‑expression, its result, and the accumulating Boolean value. This is exactly the technique Edexcel examiners look for when awarding marks for “evaluation of expressions”.
在人工检查时使用追踪表：列出每一个子表达式、其结果以及累积的布尔值。这恰好是Edexcel阅卷人在“表达式求值”部分评分时寻找的技巧。
10. Practice Examples and Exam‑Style Questions | 练习示例与考试风格题
Let us apply the full OPS rules to a complex expression:
NOT a + b > c * d AND flag = TRUE OR x <= y
假设 a = 2, b = 3, c = 1, d = 5, flag = FALSE, x = 4, y = 4。
- Step 1: arithmetic inside — a+b = 5, c*d = 5.
- Step 2: relational — 5 > 5 → FALSE, flag = TRUE → FALSE, x <= y → TRUE.
- Step 3: NOT — NOT FALSE → TRUE.
- Step 4: AND — TRUE AND FALSE → FALSE.
- Step 5: OR — FALSE OR TRUE → TRUE.
步骤1：内部算术——a+b = 5, c*d = 5。步骤2：关系——5 > 5 → FALSE, flag = TRUE → FALSE, x <= y → TRUE。步骤3：NOT——NOT FALSE → TRUE。步骤4：AND——TRUE AND FALSE → FALSE。步骤5：OR——FALSE OR TRUE → TRUE。
In an exam, you might be asked to rewrite the condition to avoid ambiguity or to evaluate it for a given data set. Practise with different combinations, ensuring you respect the precedence hierarchy exactly. Remember that the official Edexcel pseudocode documentation places NOT above relational, AND below relational, and OR lowest, making the system water‑tight once internalised.
考试中，你可能被要求重写条件以避免歧义，或针对给定数据集求值。用各种组合多加练习，确保你严格遵守优先级层级。记住，官方Edexcel伪代码文档将NOT置于关系之上，AND置于关系之下，OR最低，一旦内化，整个系统便清晰严密。
Published by TutorHao | Programming Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
屏轩国际教育cambridge primary/secondary checkpoint, cat4, ukiset,ukcat,igcse,alevel,PAT,STEP,MAT, ibdp,ap,ssat,sat,sat2课程辅导，国外大学本科硕士研究生博士课程论文辅导