Logical (Boolean) Operators in Pseudocode

In programming, single conditional checks are rarely enough to handle complex real-world logic. Sometimes, you need to ensure a user is over 18 and has a valid ticket to enter an event. Or perhaps a game loop should run while the player has lives or has an extra continue token.

To chain multiple relational conditions together, we use Logical Operators (also known as Boolean operators). In this guide, we will break down the three primary logical operators: AND, OR, and NOT. Luckily, their syntax is largely identical across AQA, OCR, and Cambridge (CIE) exam boards!

Core Concepts: Chaining Logic

Logical operators evaluate two or more Boolean values (expressions that resolve to TRUE or FALSE) and collapse them into a single final Boolean result.

The AND Operator

The AND operator requires all chained conditions to be TRUE. If even a single condition evaluates to FALSE, the entire block resolves to FALSE. This is extremely common for "range checking" (e.g., checking if a test score is between 0 and 100).

The OR Operator

The OR operator requires at least one condition to be TRUE. If the first condition is TRUE, the program often doesn't even bother checking the second one (a concept known as short-circuit evaluation).

The NOT Operator

The NOT operator is an inverter. It flips the boolean value. If an expression is TRUE, placing NOT in front of it makes it FALSE. It is incredibly useful in indefinite loops (WHILE) or flag variables.

Syntax Variations by Exam Board

Unlike relational operators (where boards argue over = vs ==), Logical Operators are beautifully universal across almost all pseudocode standards.

• AQA: Uses capitalized AND, OR, NOT.
• OCR: Uses AND, OR, NOT. (Often accepts lowercase and, or, not as it mimics Python syntax).
• CIE (9618): Uses capitalized AND, OR, NOT.

The only strict rule to follow is parentheses grouping. When chaining multiple operators, explicitly use brackets to ensure the computer evaluates them in the order you intend.

Conclusion

Logical operators are incredibly simple once you grasp the underlying Boolean logic. AND means everything must be true, OR means just one thing must be true, and NOT flips the result.