20 QUESTIONS · 5 TOPICS · TRUTH-TABLE CHECKER · ABOUT 15 MINUTES

The maths of things you can count. Which is everything a computer does.

No smooth curves, only true or false, in or out, connected or not. Logic, sets, proofs and graphs underpin every program and network. Twenty questions, each explained, then check whether two statements really mean the same. No sign-up, nothing saved.

Start the test
KÖNIGSBERG, 1736Can you cross all seven bridges exactly once? Euler proved you can't: every land mass touches an odd number of bridges. Graph theory began here.
QUESTION 1 / 20 · LOGICEasy

If A is true and B is false, what is A ∧ B (A and B)?

TRUTH-TABLE CHECKER

Do these two statements mean the same thing?

Two statements are logically equivalent if they're true in exactly the same situations. Pick one for each side; the table checks all four combinations of A and B. Rows where they disagree turn red.

LEFT STATEMENT
AB¬(A ∧ B)¬A ∧ ¬B
TTFFTFTFFTTFFFTT
Not equivalentThey disagree when A = T, B = F and when A = F, B = T. One counterexample row is enough to show they're different.
RIGHT STATEMENT
Famous pairs:

What this discrete mathematics test covers, in short

Twenty multiple-choice questions at first-year university level, four on each of five topics: logic, sets and functions, proof techniques, number theory, and graph theory. It's the maths foundation of most computer science degrees.

Notation: ∧ and, ∨ or, ¬ not, → implies. The test is our own and not normed.

By What's Your IQ · Reviewed 5 Oct 2026
Format
20 multiple-choice questions
Level
First-year university
Bonus
Truth-table equivalence checker
Pairs with
Algorithms and data structures

Keep going

Logic is the core of reasoning. Measure yours.

Our full IQ test covers logical, numerical, verbal and spatial reasoning: 60 questions, about 30 minutes.

Take the full IQ test