The big idea: A truth table lists every possible set of inputs and what the circuit outputs for each one.
It is the complete answer. Once the table is filled in, there is nothing left to wonder about.
How many rows: Two inputs give 4 rows, three give 8, four give 16 — the count doubles with every extra input.
The rule is 2 to the power of the number of inputs.
Write the inputs the same way every time: Count upwards in binary: 000, 001, 010, 011, 100, 101, 110, 111.
The rightmost column alternates every row, the next every two rows, the next every four. Follow that pattern and you cannot miss a combination.
Free preview
This is the free notes preview
You're reading the free notes. Aimnova Pro unlocks the full study experience — and you can try it with your first topic free to keep:
- FlashcardsLock in vocabulary and key terms with spaced repetition.
- Practice questionsAnswer exam-style questions and get instant AI marking.
- Mock exams & past-paper vaultSit full mocks and see exactly how examiners award marks.
- Personalised study planA daily plan built around your exam date and weak areas.
Do one gate at a time: Give every gate in the circuit its own column, then work left to right.
Never try to jump from the inputs straight to the final output — that is where marks are lost.
X = (A AND B) OR NOT C. Step through all eight input combinations and watch the table fill in.
Interactive diagram
Explore the labelled diagram, charts and maps for this topic in full study mode.
1 — Set up the columns
2 — Fill the input columns
3 — Work out each gate column
4 — Combine for the output
Stop wasting time on topics you know
Our AI identifies your weak areas and focuses your study time where it matters. No more overstudying easy topics.
A table is also an expression: Write · for AND, + for OR, and NOT for inversion.
So the circuit above is X = (A·B) + NOT C. Table, circuit and expression are three views of one thing.
Algebraic simplification
- Apply Boolean rules to shorten the expression
- A + A·B = A — if A alone is enough, the rest is redundant
- A·A = A and A + A = A
- A·(NOT A) = 0 and A + (NOT A) = 1
- Fast when you spot the pattern, easy to miss one
Karnaugh map
- Draw the outputs in a grid, then read the answer off
- Neighbouring squares differ by one variable only
- Circle groups of 1s in sizes 1, 2, 4 or 8
- A group spanning both values of a variable drops it
- Slower to draw, but it finds the simplification for you
Using a Karnaugh map
Circle and read
Why simplify at all
How this is tested — you must produce the whole table with working columns, not just the final answer. It comes up two ways:
Paper 1 Section A
- Construct a truth table from a circuit or a description, 3-6 marks
- Predict the output for stated inputs
- Write or simplify the Boolean expression
Paper 1 Section B — case study
- Build the table for a rule in the case study
- Say what happens when one input changes
The classic trap: Missing rows. Three inputs means eight rows, always — and they must be counted upwards in binary. A table with six rows loses the marks for the ones that are not there.
A pump runs when the tank is not full and either the manual switch is on or the timer is active. Construct a truth table for this rule, using F (full), M (manual) and T (timer).
Model answer plan
See the mark-by-mark plan — for / against / judgement, with marking guidance — in study mode.