The IQ Gym
Guides Sign in Start free test
Free guide · Verbal & logic · 3 min read

How to solve truth-teller and liar puzzles

Truth-tellers and liars: assume, then test

Everyone either always lies or always tells the truth. Assume a type, push it through every claim, and keep the one world that never contradicts itself.

Updated

Four to six islanders each make one claim about the others — and every islander either always tells the truth or always lies. Exactly one assignment of types to people is consistent with all the claims, and the question asks how many are liars. These puzzles are solved by disciplined case-testing, not by insight.

Assume and propagate

Pick a speaker and suppose they are a truth-teller: their claim must then be TRUE — mark everything that forces. Then suppose they are a liar: their claim must be FALSE. Push each assumption through everyone else's claims in turn. A branch that produces a contradiction is dead; abandon it without regret.

Negate whole claims, precisely

A liar's claim fails AS A WHOLE. 'Priya and Omar are both liars', said by a liar, means NOT both — at least one of them tells the truth, not necessarily both. 'At least one of them is a liar', when false, means NEITHER is. Sloppy negation of 'both' and 'at least one' is the single most common way these puzzles are lost.

Same-and-different claims constrain pairs

Harder puzzles add pair claims. 'Lena and Kofi are the same type', from a truth-teller, means same; from a liar it means different — and symmetrically for 'different types'. Notice that such a claim never tells you WHICH type either person is. Combine it with a direct claim to pin someone down.

Carry it to the last claim

The standard slip is stopping at the first assignment that fits the first two claims. Only one assignment survives ALL of them — verify every claim before you count. Then answer the question actually asked: HOW MANY liars, not who is one.

The strategy

  1. List the speakers; pick one with a 'both' or 'at least one' claim to branch on.
  2. Branch: truth-teller ⇒ claim true; liar ⇒ claim false. Propagate.
  3. Kill contradictions; verify the survivor against every single claim.
  4. Count the liars — the count is the answer.

Common traps

  • Negating 'both are liars' to 'both are truth-tellers' instead of 'at least one tells the truth'.
  • Stopping at the first assignment that fits part of the evidence.
  • Losing track of which branch you are in halfway through.
  • Reporting a person's type, or miscounting by one — the wrong options are exactly the neighbouring counts.

Speed · ~90s/item: Among the slowest families in the corpus: 50–140 seconds is normal. Budget for one careful pass rather than three hasty ones — a dead branch redone twice costs more than doing it right once.

Try it yourself: 4 practice questions

Pick an answer, then reveal it. Nothing is recorded, there is no clock, and none of these questions is ever used in a test.

Question 1 · Easy

On this island every person either always tells the truth or always lies. Dana says: “Omar and Lena are both truth-tellers.” Lena says: “Omar is a truth-teller.” Mara says: “Omar is a liar.” Omar says: “Lena and Mara are both truth-tellers.” How many of them are liars?

Reveal the answer

The answer is B — 3.

Show why — the worked reasoning
Test one assumption at a time. Suppose a person is a truth-teller — then their statement must be true; suppose they are a liar — then their statement must be false. Push each assumption through everyone else's claims and keep only the arrangement that never contradicts itself. Exactly one arrangement survives: Dana = liar, Lena = liar, Mara = truth-teller, Omar = liar, so 3 of them are liars. The usual slip is to stop at the first arrangement that fits the first two claims — always carry it through to the last one.
Question 2 · Easy

On this island every person either always tells the truth or always lies. Omar says: “Dana and Mara are both truth-tellers.” Dana says: “Mara is a liar.” Priya says: “Mara and Dana are both truth-tellers.” Mara says: “Dana and Priya are both truth-tellers.” How many of them are liars?

Reveal the answer

The answer is B — 3.

Show why — the worked reasoning
Test one assumption at a time. Suppose a person is a truth-teller — then their statement must be true; suppose they are a liar — then their statement must be false. Push each assumption through everyone else's claims and keep only the arrangement that never contradicts itself. Exactly one arrangement survives: Omar = liar, Dana = truth-teller, Priya = liar, Mara = liar, so 3 of them are liars. The usual slip is to stop at the first arrangement that fits the first two claims — always carry it through to the last one.
Question 3 · Easy

On this island every person either always tells the truth or always lies. Mara says: “Dana and Lena are both liars.” Omar says: “Dana and Lena are both truth-tellers.” Lena says: “Mara and Dana are both truth-tellers.” Dana says: “Omar is a truth-teller.” How many of them are liars?

Reveal the answer

The answer is A — 3.

Show why — the worked reasoning
Test one assumption at a time. Suppose a person is a truth-teller — then their statement must be true; suppose they are a liar — then their statement must be false. Push each assumption through everyone else's claims and keep only the arrangement that never contradicts itself. Exactly one arrangement survives: Mara = truth-teller, Omar = liar, Lena = liar, Dana = liar, so 3 of them are liars. The usual slip is to stop at the first arrangement that fits the first two claims — always carry it through to the last one.
Question 4 · Easy

On this island every person either always tells the truth or always lies. Aiko says: “Kofi and Dana are both truth-tellers.” Dana says: “Aiko and Kofi are both liars.” Priya says: “Aiko is a liar.” Kofi says: “Dana and Priya are both liars.” How many of them are liars?

Reveal the answer

The answer is D — 2.

Show why — the worked reasoning
Test one assumption at a time. Suppose a person is a truth-teller — then their statement must be true; suppose they are a liar — then their statement must be false. Push each assumption through everyone else's claims and keep only the arrangement that never contradicts itself. Exactly one arrangement survives: Aiko = liar, Dana = truth-teller, Priya = truth-teller, Kofi = liar, so 2 of them are liars. The usual slip is to stop at the first arrangement that fits the first two claims — always carry it through to the last one.

Try questions like this

The free test has 20 questions across abstract, numerical, verbal and spatial reasoning. It takes 12 minutes, needs no sign-up, and explains every answer.

Start the free test Get every lesson free

A free account opens every lesson, practice drills and a study plan built from your results.

Questions people ask

Will truth-tellers and liars questions be on the free test?

Maybe. The free test gives verbal & logic 5 of its 20 questions, spread across 11 different question types, so any one test may or may not include this kind.

More guides

All guides