aımnova
DashboardMy LearningCrash CoursesStudy Plan

Aimnova site navigation

Stay in the loop

Get the latest study resources and updates

New features, study tips and exam insights — straight to your inbox.

IB Diploma

  • IB Past Papers
  • IB Study Notes
  • IB Question Bank
  • IB Mock Exams
  • IB Revision

IB Subjects

  • IB Math AA
  • IB Math AI
  • IB Economics
  • IB Business Management
  • IB Physics
  • IB Biology
  • View all IB subjects→

IB Past Papers

  • IB Math AA HL Past Papers
  • IB Math AA SL Past Papers
  • IB Math AI HL Past Papers
  • IB Math AI SL Past Papers
  • IB Economics HL Past Papers
  • IB Economics SL Past Papers
  • IB ESS Past Papers
  • View all past papers→

Study Resources

  • Study Notes
  • Question Bank
  • Mock Exams
  • Crash Courses
  • Flashcards
  • Revision Guide
  • Exam Skills
  • Command Terms
  • Grade Calculator
  • Exam Timetable 2026

Aimnova

  • Features
  • Pricing
  • For Teachers
  • For Schools
  • For Parents
  • About Us
  • Blog
  • Contact
aımnova

IB study, practice and feedback built around the real exam.

TermsPrivacyCookies·© 2026 Aimnova. All rights reserved.c1e448f

Aimnova is not affiliated with or endorsed by the International Baccalaureate Organization (IB).

NotesComputer ScienceTopic 1.2Truth tables
Back to Computer Science Topics
1.2.46 min read

Truth tables

IB Computer Science · Unit 1

AI-powered feedback

Stop guessing — know where you lost marks

Get instant, examiner-style feedback on every answer. See exactly how to improve and what the markscheme expects.

Try It Free

Contents

  1. 1Every combination, in order
  2. 2From a circuit to a table
  3. 3Shorter ways to write the same table
  4. 4Exam-style question
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.
1

1 — Name the inputs

Each condition in the description that is either true or false becomes one input with a letter: armed (A), door open (D), motion (M).

2

2 — Turn the sentence into an expression

"The alarm sounds when it is armed and a door opens or motion is seen" becomes S = A AND (D OR M).

"Unless" and "not" become NOT; "either" usually means OR.

3

3 — List every combination

Three inputs give 2 × 2 × 2 = 8 rows, counted up in binary from 000 to 111.

4

4 — Fill the output row by row

Apply the expression to each row. Then check one row against the description in words: armed, no door, no motion must give S = 0.

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.
Start Studying Free Full access to Aimnova Pro · cancel anytime
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.

Claim your free topic
1

1 — Set up the columns

One column per input, then one per gate, then the final output.

For this circuit: A, B, C, then the AND gate, then the NOT gate, then X.

2

2 — Fill the input columns

Three inputs, so eight rows, counted upwards in binary from 000 to 111.

Do this before touching any gate.

3

3 — Work out each gate column

Go down the AND column first, using only A and B. Then the NOT column, using only C.

Each entry is a one-second decision, because you are looking at one gate.

4

4 — Combine for the output

The OR column takes the two gate columns you already filled in — not the original inputs.

The working columns are what make the last step easy.

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.

Try Smart Study FreeYour first topic is free to keep • No credit card required
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
1

Using a Karnaugh map

Put A down the side and B, C across the top, labelled 00, 01, 11, 10 — that order is what makes neighbours differ by one variable.

Write each row's output into its square.

2

Circle and read

Circle the biggest groups of adjacent 1s you can, in sizes 1, 2, 4 or 8. Groups may overlap, and may wrap around the edges.

For each circle, keep the variables that stay the same across it and drop the ones that change. OR the circles together.

3

Why simplify at all

A shorter expression is a circuit with fewer gates. That is less hardware, less power, and less to go wrong.

That is the reason the exam asks for it.

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.
IB-style questionConstruct[5 marks]

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 answer broken into clear points, with guidance on how each point earns marks.

Claim your free topic

Try an IB Exam Question — Free AI Feedback

Test yourself on Truth tables. Write your answer and get instant AI feedback — just like a real IB examiner.

why swapping the two inputs of an AND gate never changes its truth table. [2 marks]

Related Computer Science Topics

Continue learning with these related topics from the same unit:

1.1.1CPU components1.1.2The GPU1.1.4Primary memory1.1.5Fetch–decode–execute
View all Computer Science topics
Improve your exam techniqueCommand terms, paper structure, and mark-scheme tips for Computer Science
Previous1.2.3Logic gatesNextLogic diagrams1.2.5

32 practice questions on Truth tables

Students who practiced this topic on Aimnova scored 82% on average. Try free practice questions and get instant AI feedback.

Try 3 Free QuestionsView All Computer Science Topics