Skip to topic
    ← Back to course topics

    Combinational logic (A-level only) — AQA A-Level Physics

    Teaching note checked against the official specification.

    Combinational logic circuits produce outputs that depend only on the current combination of inputs, with no memory or feedback. In AQA A-Level Physics, you must construct truth tables, simplify Boolean expressions using Karnaugh maps, and design logic circuits from NAND, NOR, AND, OR and NOT gates.

    Test yourself on Combinational logic (A-level only) with AQA A-Level practice questions.

    Start free

    A week of Premium from your first lesson · Then the free plan continues · No card, no charge

    Combinational logic (A-level only) explained

    Combinational logic (A-level only) covers 4 specification points, including Use of Boolean algebra related to truth tables… and − A = not A A ∙ B = A and B A + B = A or B….

    Read the full explanation

    Open a point below for its explanation and revision guidance.

    Use of Boolean algebra related to truth tables and logic gates.

    Boolean algebra describes logic circuits using variables that take only 0 or 1. A truth table lists every input combination and the resulting output, so it defines a circuit's behaviour completely. From a truth table you can read off a Boolean expression: each row giving output 1 contributes a product term, and the expression is the OR of those terms. For example, a two-input table with 1s on rows 01 and 10 gives Q = (NOT A AND B) OR (A AND NOT B), the exclusive-OR function. Conversely, substitute each input combination into an expression to rebuild the table. This links gate symbols, tables and algebra, letting you simplify circuits and check that two designs behave identically.

    − A = not A A ∙ B = A and B A + B = A or B Identification and use of AND, NAND, OR, NOR, NOT and EOR gates in combination in logic circuits.

    This statement fixes the notation and the gate set. A bar over a variable means NOT, so A̅ is the inverse of A. A dot means AND, so A ∙ B is 1 only when both inputs are 1. A plus means OR, so A + B is 1 when at least one input is 1. The gates to know are AND, NAND (an AND followed by NOT), OR, NOR (an OR followed by NOT), NOT and EOR (exclusive-OR, 1 when inputs differ). In combination, gates form circuits whose overall behaviour you find by working through each gate in turn, then checking against a truth table. For example, A NAND B followed by a NOT gate returns A AND B.

    Construction and deduction of a logic circuit from a truth table.

    A truth table lists every combination of inputs and the required output, so it fully defines a combinational function. To construct a circuit, identify each row where the output is 1, write a product term that is true only for that row (using AND gates and NOT gates for inputs that are 0), then OR the terms together. For example, output 1 for A = 0, B = 1 gives the term NOT A AND B. To deduce a truth table from a given circuit diagram, work through each gate in order, tabulating intermediate values for all input combinations until the final output column is complete. Both directions rely on the same link between rows, product terms and gates, and on checking that the finished circuit reproduces every row of the table.

    The gates should be treated as building blocks. The internal structure or circuit of the gates is not required.

    In this topic, AND, OR, NOT, NAND, NOR and XOR gates are treated as indivisible building blocks with defined truth tables. You use their input-output behaviour to build and analyse larger combinational circuits, without needing to know how each gate is made from transistors or other components. For example, a NAND gate is used simply as a two-input device whose output is 0 only when both inputs are 1; its internal transistor arrangement is outside the specification. This lets you focus on connecting gates correctly, reading and writing truth tables, and simplifying expressions, rather than on semiconductor physics. Assessment therefore targets circuit behaviour and logic, not gate construction.

    Your focus

    1. Construct a complete truth table for a circuit with a stated number of inputs.
    2. Convert between a truth table and a Boolean expression in sum-of-products form.
    3. Evaluate a Boolean expression for every input combination and compare it with a given truth table.
    Show all 12 objectives
    1. State the output of AND, NAND, OR, NOR, NOT and EOR gates for every input combination.
    2. Determine the overall function of a circuit containing several gates in combination.
    3. Combine named gates to produce a specified Boolean expression or truth table.
    4. Construct a logic circuit that reproduces every row of a given truth table.
    5. Deduce the truth table or Boolean expression for a given combinational logic circuit.
    6. Verify a completed circuit against all input combinations and correct any mismatch.
    7. State the truth table and function of each standard logic gate.
    8. Build and interpret combinational circuits using gates as building blocks.
    9. Explain circuit operation in terms of gate behaviour without reference to internal structure.

    Which command word is this?

    AQA expects a brief, factual answer with no explanation. For example, 'State the output when A=1, B=0' requires just '0' or '1'.

    Combinational logic (A-level only) exam tips

    Topic Overview

    Combinational logic is a fundamental topic in AQA A-Level Physics that deals with digital circuits whose outputs depend solely on the current inputs. Unlike sequential logic, there is no memory or feedback, so the circuit's behaviour is fully described by a truth table. You will study basic logic gates (NOT, AND, OR, NAND, NOR, XOR), learn to construct truth tables for multi-input circuits, and apply Boolean algebra and Karnaugh maps to simplify expressions.

    This topic is essential for understanding how digital systems such as processors, calculators and control systems operate. It connects to other areas of physics including semiconductor physics (diodes and transistors used to build gates) and provides a foundation for further study in electronics and computer science. Exam questions often require you to analyse a given circuit, design a circuit from a specification, or simplify a Boolean expression, testing both your logical reasoning and your ability to apply systematic methods.

    Key Concepts
    • →Logic gates: NOT (inverter), AND (output 1 only if all inputs 1), OR (output 1 if any input 1), NAND (inverted AND), NOR (inverted OR), XOR (output 1 if inputs differ).
    • →Truth tables: list all possible input combinations (2^n rows for n inputs) and the corresponding output for each combination.
    • →Boolean algebra: use rules such as De Morgan's laws (NOT(A AND B) = (NOT A) OR (NOT B)) and precedence (NOT > AND > OR) to simplify expressions.
    • →Karnaugh maps: a visual method to simplify Boolean expressions by grouping adjacent 1s in powers of two, using Gray code ordering.
    • →Combinational vs sequential logic: combinational outputs depend only on current inputs; sequential outputs depend on past inputs (memory).
    Marking Points
    • State that Boolean variables take only the values 0 and 1, representing false and true or low and high.
    • Construct a truth table with one row for every possible input combination, using 2ⁿ rows for n inputs.
    • Derive a Boolean expression from a truth table by writing a product term for each row whose output is 1 and OR-ing those terms.
    • Evaluate a given Boolean expression for each input combination to complete or verify a truth table.
    • Recognise standard results such as A AND NOT A = 0 and A OR NOT A = 1, and use them to simplify expressions.
    • Translate between a truth table, a Boolean expression and an equivalent combination of logic gates.
    • Interpret the symbols: a bar denotes NOT, a dot denotes AND and a plus sign denotes OR.
    • State the output of each gate: AND gives 1 only for 1,1; OR gives 1 for any 1; NOT inverts; NAND and NOR invert AND and OR outputs; EOR gives 1 when inputs differ.
    • Analyse a multi-gate circuit by labelling the output of each gate and combining them stage by stage.
    • Construct a truth table for a combined circuit and use it to identify the overall logic function.
    • Select and combine gates to realise a required Boolean expression or truth table.
    • Recognise that NAND and NOR are inverted forms of AND and OR, and that EOR differs from OR only for the 1,1 input.
    • Identify all input combinations for which the required output is 1 and treat each as one product term.
    • For each such row, include each input directly if it is 1 and inverted with a NOT gate if it is 0.
    • Combine the product terms with OR gates to form the complete expression for the output.
    • When deducing a truth table from a circuit, label intermediate gate outputs and evaluate them for every input combination.
    • Check the final column against the given truth table and correct any row that does not match.
    • Use the same systematic row-by-row method whether constructing a circuit or deducing its behaviour.
    • Use the standard truth table of each gate as its definition when analysing or building circuits.
    • Treat each gate as a single functional block with defined inputs and outputs.
    • Combine gates by connecting the output of one to the input of another to form larger circuits.
    • Explain circuit behaviour in terms of gate functions rather than internal electronic components.
    • Recognise that questions on internal gate structure are outside the scope of this specification.
    Examiner Tips
    • 💡Write inputs in a fixed counting order such as 00, 01, 10, 11 so no combination is missed or duplicated.
    • 💡When deriving an expression, label each product term with the row it came from, then combine them with OR signs.
    • 💡Check a simplified expression against the original truth table row by row before committing to your final answer.
    • 💡Annotate intermediate gate outputs on the diagram before writing the final expression.
    • 💡Build the truth table column by column, one gate at a time, so errors are easy to spot.
    • 💡For a required function, start from its truth table and choose gates that produce 1 on exactly the needed rows.
    • 💡Draw a column for every intermediate gate output so your working can be followed and checked.
    • 💡After building or deducing a circuit, test at least one row where the output is 0 as well as rows where it is 1.
    • 💡Keep the number of gates minimal where possible, but always prioritise a circuit that matches the truth table exactly.
    • 💡Learn the truth tables of all standard gates so you can apply them quickly without deriving them.
    • 💡When explaining a circuit, refer to gate names and their input-output behaviour rather than internal structure.
    • 💡If a question asks for a circuit, use standard gate symbols and connect them clearly, showing inputs on the left and outputs on the right.
    • 💡Always show your working for Boolean simplification, including intermediate steps and the laws used. Even if the final answer is wrong, you can earn method marks.
    • 💡When drawing circuits, label all inputs and outputs clearly, and use the correct symbols for each gate. AQA expects standard IEC symbols.
    • 💡For truth table questions, write the input combinations in a systematic order (e.g., counting in binary) to avoid missing rows. Double-check the number of rows is 2^n.
    Common Mistakes
    • Omitting input combinations from a truth table: for n inputs there must be 2ⁿ rows, so a three-input table needs eight rows, not six.
    • Writing a product term for rows where the output is 0; only rows with output 1 contribute to a sum-of-products expression.
    • Confusing the order of operations, treating A OR B AND C as (A OR B) AND C; AND binds more tightly than OR unless brackets say otherwise.
    • Treating EOR as identical to OR; OR gives 1 for 1,1 but EOR gives 0, so the two differ on that row.
    • Forgetting that NAND and NOR invert the whole AND or OR result, not just one input.
    • Reading a bar as covering only the nearest variable when it spans a whole expression; a bar over A + B means NOT(A OR B), not (NOT A) OR B.
    • Writing a product term for rows where the output is 0 instead of 1; correct this by selecting only the rows whose output is 1.
    • Forgetting to invert an input that is 0 in a selected row; correct this by placing a NOT gate on that input in the product term.
    • Evaluating a circuit in the wrong order or ignoring gate precedence; correct this by working stage by stage from the inputs towards the output.
    • Attempting to describe transistor-level construction of a gate; correct this by describing only the gate's truth table and function.
    • Confusing the truth table of one gate with another, such as NAND with NOR; correct this by learning each gate's output for every input combination.
    • Treating a gate as having more inputs or outputs than its symbol shows; correct this by using only the inputs and single output defined for that gate.
    • Students often think that NAND is the same as AND followed by NOT, but NAND is a single gate with its own truth table; the output is 0 only when all inputs are 1.
    • Many believe that Boolean expressions can be simplified by 'cancelling' terms like in algebra, e.g., A AND B OR A AND C = A AND (B OR C) is correct, but A OR A AND B = A is not always obvious; they forget the absorption law.
    • Students frequently mislabel Karnaugh map axes, using binary order instead of Gray code, leading to incorrect groupings and unsimplified expressions.
    Revision Plan
    1. 1Day 1-2: Revise the symbols and truth tables of all basic logic gates (NOT, AND, OR, NAND, NOR, XOR). Practice drawing each gate and writing its Boolean expression.
    2. 2Day 3-4: Learn to construct truth tables for circuits with up to 4 inputs. Start with simple combinations of two gates, then progress to more complex circuits.
    3. 3Day 5-6: Master Boolean algebra rules, especially De Morgan's laws and precedence. Practice simplifying expressions step by step, showing all working.
    4. 4Day 7-8: Learn Karnaugh map techniques for 2, 3 and 4 variables. Practice grouping 1s and deriving simplified expressions. Compare with Boolean algebra results.
    5. 5Day 9-10: Attempt past paper questions on combinational logic. Focus on circuit design from specifications and simplifying expressions. Review mark schemes to understand examiner expectations.
    Exam Question Types
    • 📋Truth table completion: Given a logic circuit diagram, complete a truth table for the output. Advice: systematically work through each input combination, using intermediate columns if helpful.
    • 📋Boolean simplification: Simplify a given Boolean expression using algebra or a Karnaugh map. Advice: show all steps and state the laws used; for Karnaugh maps, clearly indicate groupings.
    • 📋Circuit design: Design a circuit to meet a given specification (e.g., alarm sounds under certain conditions). Advice: start by writing a truth table, then derive the Boolean expression, simplify, and draw the circuit using standard symbols.
    • 📋Analysis of combinational logic: Explain the operation of a given circuit or identify its function (e.g., half-adder). Advice: relate the circuit to its truth table and describe the output for each input combination.
    Command Word Expectations (AQA)
    State

    AQA expects a brief, factual answer with no explanation. For example, 'State the output when A=1, B=0' requires just '0' or '1'.

    Describe

    AQA expects a detailed account of the steps or operation, including specific values or conditions. For example, 'Describe the operation of the circuit' requires a step-by-step explanation of how inputs lead to outputs.

    Explain

    AQA expects a reasoned justification, often linking cause and effect. For example, 'Explain why the output is 1 only when A and B are different' requires reference to the XOR gate's truth table.

    Simplify

    AQA expects the expression to be reduced to its simplest form using Boolean algebra or Karnaugh maps, with working shown. The final answer must be in sum-of-products or product-of-sums form as appropriate.

    How Students Lose Marks (Examiner Pitfalls)
    Pitfall: Students often confuse the order of operations in Boolean algebra, treating A AND B OR C as (A AND B) OR C when the correct precedence is NOT > AND > OR. They also forget that De Morgan's laws require changing the operator when negating a bracket.
    ❌ Weak Answer (Loses Marks):A student writes: 'A AND B OR C means A AND (B OR C) because brackets are not needed.' They then simplify incorrectly and lose all method marks.
    Example improved answer:The expression A AND B OR C follows precedence NOT > AND > OR, so it is (A AND B) OR C. To apply De Morgan's law to NOT(A AND B), the result is (NOT A) OR (NOT B). Always insert brackets to clarify precedence before simplifying.
    Examiner Tip: Write out the precedence order at the top of your working: NOT, then AND, then OR. When negating a bracket, change the operator inside and negate each term individually.
    Pitfall: In truth table questions, students frequently omit rows or mis-order binary inputs, especially when three or more inputs are involved. They also fail to recognise that a Karnaugh map must be filled using Gray code ordering, not standard binary order.
    ❌ Weak Answer (Loses Marks):A student draws a 3-input truth table with only 6 rows instead of 8, and fills a Karnaugh map using rows 00, 01, 10, 11 instead of 00, 01, 11, 10.
    Example improved answer:For n inputs, a truth table must have 2^n rows. For 3 inputs, list all 8 combinations from 000 to 111 in binary order. For a Karnaugh map, label rows and columns using Gray code (00, 01, 11, 10) so that adjacent cells differ by only one bit, allowing correct grouping of 1s into powers of two.
    Examiner Tip: Count your truth table rows before starting: 2 inputs = 4 rows, 3 inputs = 8 rows, 4 inputs = 16 rows. Always double-check Karnaugh map labels follow Gray code.
    Step-by-Step Worked Solutions

    Question: A combinational logic circuit has three inputs A, B and C. The output Q is 1 when the binary value of the inputs is 2, 3, 5 or 7. (a) Construct a truth table for Q. (b) Write the Boolean expression for Q in sum-of-products form. (c) Simplify the expression using a Karnaugh map. (d) Draw the simplified circuit using NAND gates only.

    1. 1.Step 1: Identify given facts. Three inputs A, B, C (A is most significant bit). Output Q = 1 for decimal inputs 2, 3, 5, 7. These correspond to binary 010, 011, 101, 111.
    2. 2.Step 2: Construct truth table with 8 rows (000 to 111). Mark Q = 1 for rows 010, 011, 101, 111. All other rows Q = 0.
    3. 3.Step 3: Write sum-of-products: Q = (NOT A AND B AND NOT C) OR (NOT A AND B AND C) OR (A AND NOT B AND C) OR (A AND B AND C).
    4. 4.Step 4: Simplify using Karnaugh map. Group the 1s: group 1 covers 010 and 011 (NOT A AND B). Group 2 covers 101 and 111 (A AND C). Group 3 covers 011 and 111 (B AND C). The simplified expression is Q = (NOT A AND B) OR (A AND C) OR (B AND C).
    5. 5.Step 5: Draw circuit using NAND gates only. Convert each AND to NAND followed by NOT (using NAND with tied inputs), and OR to NAND with inverted inputs. Final circuit uses 5 NAND gates.
    Final Answer: Simplified Boolean expression: Q = (NOT A AND B) OR (A AND C) OR (B AND C). Circuit can be built with 5 NAND gates.

    Question: A security system has three sensors A, B and C. The alarm Q sounds (Q = 1) when sensor A is activated AND either sensor B or sensor C is activated, but NOT when all three sensors are activated simultaneously (to avoid false alarms). (a) Write the Boolean expression for Q. (b) Simplify the expression. (c) State the number of rows in the truth table.

    1. 1.Step 1: Identify given facts. Q = 1 when A = 1 AND (B = 1 OR C = 1) AND NOT (A = 1 AND B = 1 AND C = 1).
    2. 2.Step 2: Write Boolean expression: Q = A AND (B OR C) AND NOT(A AND B AND C).
    3. 3.Step 3: Apply De Morgan's law to the last term: NOT(A AND B AND C) = (NOT A) OR (NOT B) OR (NOT C).
    4. 4.Step 4: Simplify using Boolean algebra: Q = A AND (B OR C) AND ((NOT A) OR (NOT B) OR (NOT C)). Since A AND (NOT A) = 0, the expression reduces to Q = A AND (B OR C) AND ((NOT B) OR (NOT C)). Further simplify: (B OR C) AND ((NOT B) OR (NOT C)) = (B AND NOT C) OR (C AND NOT B) = B XOR C. Therefore Q = A AND (B XOR C).
    5. 5.Step 5: Number of rows in truth table for 3 inputs = 2^3 = 8 rows.
    Final Answer: Simplified expression: Q = A AND (B XOR C). Truth table has 8 rows.
    Active Recall Memory Test
    What is the difference between combinational and sequential logic?
    Key Fact: Combinational logic outputs depend only on the current inputs, while sequential logic outputs depend on both current inputs and past inputs (memory).
    State De Morgan's two laws.
    Key Fact: NOT(A AND B) = (NOT A) OR (NOT B); NOT(A OR B) = (NOT A) AND (NOT B).
    How many rows are needed in a truth table for a circuit with 4 inputs?
    Key Fact: 2^4 = 16 rows.
    What is the output of a NAND gate when both inputs are 1?
    Key Fact: 0.
    Frequently Asked Questions
    What is combinational logic in A-Level Physics?
    Combinational logic refers to digital circuits where the output is determined solely by the current combination of inputs. There is no feedback or memory, so the circuit's behaviour can be fully described by a truth table. In AQA A-Level Physics, you study basic logic gates, Boolean algebra, and simplification techniques like Karnaugh maps to design and analyse such circuits.
    How do I simplify Boolean expressions for AQA A-Level?
    You can simplify Boolean expressions using Boolean algebra rules (such as De Morgan's laws, absorption, and distribution) or by using a Karnaugh map. For algebra, apply rules step by step, showing your working. For Karnaugh maps, plot the 1s on a grid with Gray code ordering, group adjacent 1s in powers of two, and read off the simplified expression. AQA expects you to use both methods and to show all steps.
    What is the difference between a truth table and a Karnaugh map?
    A truth table lists all possible input combinations and the corresponding output, providing a complete description of the circuit's behaviour. A Karnaugh map is a visual tool used to simplify Boolean expressions by arranging the truth table outputs in a grid that allows easy identification of adjacent 1s that can be grouped to eliminate variables. While a truth table is exhaustive, a Karnaugh map is a simplification aid.
    How many NAND gates are needed to build a NOT gate?
    One NAND gate can be used as a NOT gate by connecting both inputs together. When both inputs are the same, the NAND gate outputs the inverse of that input, effectively acting as an inverter.
    Why do we use NAND gates in circuit design?
    NAND gates are used because they are functionally complete, meaning any other logic gate (AND, OR, NOT) can be constructed using only NAND gates. This is cost-effective in integrated circuit manufacturing, as it reduces the number of different gate types needed. AQA often asks you to convert a circuit to use only NAND gates.
    What are the common mistakes in combinational logic exam questions?
    Common mistakes include: forgetting to include all rows in a truth table, misapplying De Morgan's laws, using binary order instead of Gray code in Karnaugh maps, and not showing working when simplifying Boolean expressions. Students also often confuse the precedence of operators (NOT > AND > OR) and fail to label circuit inputs and outputs clearly.