WOLFRAM|DEMONSTRATIONS PROJECT

Knights, Knaves, and Normals Puzzle Generator

​
number of inhabitants
3
4
show
general formulation
statements
symbolic statements
solution
try again
Knights, Knaves, and Normals​There is an island in which certain inhabitants called "knights" always tell the truth and others called "knaves" always lie. But there are also "normals", who sometimes lie and sometimes tell the truth. It is assumed that every inhabitant of the island is either a knight, a knave, or a normal.​​In the problem there are 3 inhabitants, who are denoted by A, B, C. At least one is a knight, and at least one is a knave. Each of them make a statement. Who is a knight, who is a knave, and who is a normal?
This Demonstration provides a generator of logic puzzles of the type knights, knaves, and normals. These puzzles are about an island in which some natives called "knights" always tell the truth, natives called "knaves" always lie, and "normals" sometimes lie and sometimes tell the truth. It is assumed that every inhabitant of the island is either a knight, a knave, or a normal. If an inhabitant
A
makes a statement
P
, then we may conclude that "if
A
is a knight, then
P
is true" and "if
A
is a knave, then
P
is false".