📚 Combined Operations in Programming: Arithmetic, Relational and Logical Operators | 编程中的组合操作：算术、关系与逻辑运算符
In A-Level Computer Science, writing effective programs requires deep understanding of how different operators combine to form complex expressions. Whether evaluating a mathematical formula, checking multiple conditions in an if-statement, or performing bitwise manipulations, the behaviour of combined operations is governed by well-defined rules of precedence, associativity, and type conversion. This article explores arithmetic, relational, and logical operators, explains how they can be mixed in a single expression, and highlights the potential pitfalls that arise when short-circuit evaluation or implicit type coercion takes place. Mastering these concepts is crucial for producing correct, efficient, and readable code in both examination pseudocode and real programming languages such as Python.
在A-Level计算机科学中，编写有效的程序需要深入理解不同运算符如何组合形成复杂的表达式。无论是计算数学公式、在if语句中检查多个条件，还是执行按位操作，组合操作的行为都受到优先级、结合性和类型转换等明确规则的支配。本文探讨算术、关系和逻辑运算符，解释它们如何在同一表达式中混合使用，并着重指出短路求值或隐式类型强制转换可能带来的陷阱。掌握这些概念对于在考试伪代码以及Python等真实编程语言中生成正确、高效且可读性强的代码至关重要。
1. Understanding Operators and Operands | 理解运算符与操作数
An operator is a symbol that tells the compiler or interpreter to perform specific mathematical, relational, or logical manipulations. The values that operators act upon are called operands. In the expression 3 + 5 * 2, the operators are + and *, and the operands are 3, 5, and 2. Programming languages support a rich set of operators, typically classified into arithmetic, relational (comparison), logical, bitwise, and assignment categories. In this article we focus on the first three categories because they are most frequently combined in decision-making and looping constructs.
运算符是一个符号，告诉编译器或解释器执行特定的数学、关系或逻辑操作。运算符作用的值称为操作数。在表达式3 + 5 * 2中，运算符是+和*，操作数是3、5和2。编程语言支持丰富的运算符集，通常分为算术运算符、关系（比较）运算符、逻辑运算符、位运算符和赋值运算符。本文重点讨论前三类，因为它们最常在决策和循环结构中组合使用。
2. Arithmetic Operators: Foundation of Calculations | 算术运算符：计算的基础
Arithmetic operators perform standard mathematical operations. The core set includes addition (+), subtraction (-), multiplication (*), division (/), integer division (DIV or //), and modulus (MOD or %). In Edexcel pseudocode, the symbols +, -, *, /, DIV, MOD are used. For exponentiation, the caret symbol (^) is often employed in pseudocode, whereas Python uses **. Consider the expression 2 ^ 3 + 5 MOD 2. If interpreted with typical precedence, exponentiation is evaluated first, yielding 8 + (5 MOD 2) = 8 + 1 = 9. Understanding how the mathematical hierarchy operates is essential before mixing arithmetic with relational or logical operators.
算术运算符执行标准的数学运算。核心集合包括加(+)、减(-)、乘(*)、除(/)、整除(DIV或//)和取模(MOD或%)。在Edexcel伪代码中，使用的符号为+、-、*、/、DIV、MOD。对于指数运算，伪代码中常使用脱字符(^)，而Python使用**。考虑表达式2 ^ 3 + 5 MOD 2。如果按照典型的优先级解释，先计算指数，得到8 + (5 MOD 2) = 8 + 1 = 9。在将算术运算符与关系或逻辑运算符混合之前，必须理解数学层次结构是如何运作的。
3. Relational Operators: Making Comparisons | 关系运算符：进行比较
Relational operators compare two values and return a Boolean result (TRUE or FALSE). The standard symbols are: equal to (= or ==), not equal to (≠ or !=), less than (<), greater than (>), less than or equal to (≤ or <=), and greater than or equal to (≥ or >=). In Edexcel pseudocode, the operator ≠ is preferred, while most programming languages use !=. For example, the expression score >= 80 evaluates to TRUE if the variable score holds a value of 85. These operators have lower precedence than arithmetic operators, so a + b > c * d is parsed as (a + b) > (c * d) without requiring parentheses.
关系运算符比较两个值并返回布尔结果（TRUE或FALSE）。标准符号包括：等于(=或==)、不等于(≠或!=)、小于(<)、大于(>)、小于等于(≤或<=)和大于等于(≥或>=)。在Edexcel伪代码中，更倾向于使用≠运算符，而大多数编程语言使用!=。例如，如果变量score的值为85，表达式score >= 80的结果为TRUE。这些运算符的优先级低于算术运算符，因此a + b > c * d会被解析为(a + b) > (c * d)，无需括号。
4. Logical Operators: Building Complex Conditions | 逻辑运算符：构建复杂条件
Logical operators combine Boolean values to produce a new Boolean result. The fundamental operators are AND (conjunction), OR (disjunction), and NOT (negation). In pseudocode and many languages, these are written as AND, OR, NOT. Python uses the lower-case keywords and, or, not. The truth table for AND requires both operands to be TRUE for the result to be TRUE; OR returns TRUE if at least one operand is TRUE; NOT inverts a single operand. When mixing logical operators, AND has higher precedence than OR, so A OR B AND C is equivalent to A OR (B AND C). This precedence rule can surprise beginners and must be memorised for exam success.
逻辑运算符组合布尔值以产生新的布尔结果。基本运算符包括AND（合取）、OR（析取）和NOT（否定）。在伪代码和许多语言中，它们写作AND、OR、NOT。Python使用小写关键字and, or, not。AND的真值表要求两个操作数均为TRUE结果才为TRUE；OR在至少一个操作数为TRUE时返回TRUE；NOT反转单个操作数。当混合使用逻辑运算符时，AND的优先级高于OR，因此A OR B AND C等价于A OR (B AND C)。这条优先级规则可能令初学者感到意外，必须牢记以便应对考试。
5. Operator Precedence: The Hidden Hierarchy | 运算符优先级：隐藏的层次结构
Precedence determines the order in which operators are evaluated in an expression that contains more than one operator type. Higher precedence operations are performed before lower precedence ones. The following table summarises the typical precedence levels for arithmetic, relational, and logical operators as used in Edexcel-style pseudocode (highest at the top):
优先级决定了包含多种运算符类型的表达式中各运算符的求值顺序。优先级较高的操作先于优先级较低的操作执行。下表总结了Edexcel风格伪代码中算术、关系和逻辑运算符的典型优先级层次（由高到低）：
| Precedence Level | Operator Category | Operators |
|---|---|---|
| 1 (Highest) | Unary NOT | NOT |
| 2 | Exponentiation | ^ (caret) |
| 3 | Multiplicative | *, /, DIV, MOD |
| 4 | Additive | +, – |
| 5 | Relational | =, ≠, <, >, ≤, ≥ |
| 6 | Logical AND | AND |
| 7 (Lowest) | Logical OR | OR |
Using parentheses can override the default precedence and is highly recommended for clarity. For instance, (NOT (a > b)) AND (c + d < e) leaves no room for misinterpretation.
使用括号可以覆盖默认优先级，强烈建议用于提高清晰度。例如，(NOT (a > b)) AND (c + d < e) 没有留下任何误解的余地。
6. Associativity: Left-to-Right or Right-to-Left | 结合性：从左到右还是从右到左
When two operators of the same precedence appear, associativity rules decide the evaluation direction. In most programming languages, arithmetic operators are left-associative, meaning operations are performed from left to right. For example, 10 – 5 – 2 is interpreted as (10 – 5) – 2 = 3, not 10 – (5 – 2). Exponentiation, on the other hand, is right-associative, so 2 ^ 3 ^ 2 is evaluated as 2 ^ (3 ^ 2) = 2 ^ 9 = 512. Logical AND and OR are left-associative. Relational operators are not associative; chaining them without logical operators leads to ambiguous or erroneous results in most languages, although Python uniquely allows chained comparisons like a < b < c.
当出现两个相同优先级的运算符时，结合性规则决定求值方向。在大多数编程语言中，算术运算符是左结合的，即操作从左到右执行。例如，10 – 5 – 2被解释为(10 – 5) – 2 = 3，而非10 – (5 – 2)。另一方面，指数运算是右结合的，因此2 ^ 3 ^ 2会计算为2 ^ (3 ^ 2) = 2 ^ 9 = 512。逻辑AND和OR是左结合的。关系运算符不具备结合性；在大多数语言中，如果不使用逻辑运算符直接链接关系运算符会导致歧义或错误，尽管Python独特地允许链式比较，如a < b < c。
7. Mixed Expressions: Arithmetic with Relational and Logical | 混合表达式：算术与关系逻辑结合
A typical exam question asks for the result of an expression like 5 + 3 > 4 AND 2 * 2 = 4. According to precedence, arithmetic is evaluated first: 5 + 3 becomes 8, and 2 * 2 becomes 4. Then relational operators are applied: 8 > 4 yields TRUE, and 4 = 4 yields TRUE. Finally, logical AND combines the two Boolean results: TRUE AND TRUE gives TRUE. Writing out intermediate steps in this manner helps avoid mistakes. It is vital to remember that relational operators produce Boolean values, which then become operands for logical operators.
典型的考试题目会要求计算如5 + 3 > 4 AND 2 * 2 = 4这样的表达式的结果。根据优先级，首先计算算术部分：5 + 3得8，2 * 2得4。然后应用关系运算符：8 > 4结果为TRUE，4 = 4结果为TRUE。最后，逻辑AND将两个布尔结果组合：TRUE AND TRUE得TRUE。以这种方式写出中间步骤有助于避免错误。必须记住，关系运算符产生布尔值，这些布尔值随后成为逻辑运算符的操作数。
8. Short-Circuit Evaluation in Combined Operations | 组合操作中的短路求值
Logical AND and OR in many programming languages (including pseudocode used in Edexcel) employ short-circuit evaluation. This means the second operand is evaluated only if the first operand does not determine the result. For AND, if the left operand is FALSE, the whole expression is FALSE regardless of the right operand, so the right operand is skipped. For OR, if the left operand is TRUE, the right operand is not evaluated. This behaviour can significantly affect program flow when the right operand contains a function call or an update operation. For example, in score < 10 AND IncrementCounter() > 5, IncrementCounter will only be called if score < 10 is TRUE.
许多编程语言（包括Edexcel中的伪代码）中的逻辑AND和OR采用短路求值。这意味着只有当第一操作数不足以决定结果时，才计算第二操作数。对于AND，如果左操作数为FALSE，无论右操作数是什么，整个表达式都是FALSE，因此跳过右操作数。对于OR，如果左操作数为TRUE，则不评估右操作数。当右操作数包含函数调用或更新操作时，这种行为会显著影响程序流程。例如，在score < 10 AND IncrementCounter() > 5中，只有当score < 10为TRUE时，IncrementCounter才会被调用。
9. Type Coercion and Implicit Conversion | 类型强制与隐式转换
When combining operations involving different data types, many languages perform implicit type coercion. For instance, adding an integer to a floating-point number yields a floating-point result. In conditional contexts, numeric values are often treated as Boolean, where 0 is FALSE and any non-zero value is TRUE. This can lead to subtle bugs: the expression 5 AND 3 is valid in languages like Python, returning 3 rather than a Boolean because of truthy evaluation. Edexcel pseudocode typically expects Boolean operands for logical operators, so mixing types may be disallowed. Students must be aware of the type rules specified in the exam board’s pseudocode guide to avoid losing marks.
在组合涉及不同数据类型的操作时，许多语言会执行隐式类型强制转换。例如，将整数与浮点数相加会得到浮点数结果。在条件上下文中，数值常被视为布尔值，0为FALSE，任何非零值为TRUE。这可能导致细微的错误：在Python等语言中，表达式5 AND 3是合法的，由于真值评估，它会返回3而非布尔值。Edexcel伪代码通常期望逻辑运算符的操作数为布尔值，因此可能禁止混合类型。学生必须注意考试局伪代码指南中指定的类型规则，以免失分。
10. Practical Pseudocode Examples | 实际伪代码示例
Below is a snippet of Edexcel-style pseudocode illustrating combined operations in a selection statement:
以下是一段Edexcel风格的伪代码，展示了选择语句中的组合操作：
IF (age > 18 AND score > 60) OR (age ≤ 18 AND score > 80) THEN
OUTPUT ‘Eligible’
ELSE
OUTPUT ‘Not Eligible’
ENDIF
Here, arithmetic-type relational expressions are combined with logical operators. The condition uses AND within each group and OR to join them. The logic ensures that older candidates need a score above 60, while younger candidates must achieve a higher threshold of 80. Tracing such expressions on paper is a common exam task.
此处，算术类型的关系表达式与逻辑运算符组合在一起。条件在每个组内使用AND，并用OR将它们连接起来。该逻辑确保年龄较大的候选人需要分数超过60，而较年轻的候选人必须达到更高的80分门槛。在纸上追踪此类表达式是常见的考试任务。
11. Common Mistakes and How to Avoid Them | 常见错误及如何避免
Many students mistakenly assume that relational operators have higher precedence than NOT, or that AND and OR share the same precedence level. Another frequent error is writing a < b > c thinking it checks if b is between a and c; in most pseudocode, this is invalid. The correct form is (a < b) AND (b > c). Furthermore, confusing assignment (=) with equality (= or ==) can lead to logical errors. To prevent these problems, use parentheses liberally and always double-check the precedence table provided in the exam specification. Writing truth tables for small compound conditions is an effective debugging technique.
许多学生误以为关系运算符的优先级高于NOT，或者以为AND和OR具有相同的优先级。另一个常见错误是编写a < b > c，认为它能检查b是否介于a和c之间；在大多数伪代码中这是无效的。正确的形式是(a < b) AND (b > c)。此外，混淆赋值(=)与相等性测试(=或==)会导致逻辑错误。为防止这些问题，请自由使用括号，并始终复查考试规范中提供的优先级表。为小型复合条件编写真值表是一种有效的调试技术。
12. Conclusion: Building Robust and Readable Expressions | 结论：构建健壮且可读的表达式
Combined operations are the backbone of algorithmic logic, enabling programmers to encode intricate decision-making processes concisely. By internalising the rules of precedence, associativity, short-circuit behaviour, and type compatibility, A-Level students can confidently tackle expression evaluation questions and produce code that behaves as expected. Ultimately, clarity should take priority over cleverness—explicit parentheses and well-structured conditions make the code maintainable and reduce the risk of subtle runtime bugs. Regular practice with pseudocode tracing and implementation in Python will solidify these skills and prepare learners for both examination and real-world programming challenges.
组合操作是算法逻辑的支柱，使程序员能够简洁地编码复杂的决策过程。通过内化优先级、结合性、短路行为和类型兼容性的规则，A-Level学生可以自信地应对表达式求值问题，并生成行为符合预期的代码。最终，清晰性应优先于花哨技巧——显式的括号和结构良好的条件使代码易于维护，并降低细微运行时错误的风险。通过伪代码追踪和Python实现的经常性练习，可以巩固这些技能，使学习者为考试和现实世界的编程挑战做好准备。
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课程辅导，国外大学本科硕士研究生博士课程论文辅导