WOLFRAM|DEMONSTRATIONS PROJECT

Knights and Knaves Puzzle Generator with Not All Statements Determined

​
number of inhabitants
5
show
general formulation
statements
symbolic statements
solution
new puzzle
Knights and Knaves​There is an island in which the inhabitants are called "knights" or "knaves". Knights always tell the truth and knaves always lie.​Assume that every inhabitant of the island is either a knight ora knave, but not both.​In the problem there are 5 inhabitants, denoted by A, B, C ….The first 4 of them make a statement.​Who is a knight and who is a knave? Which cannot be determined?
This Demonstration provides a generator of "knights and knaves" logic puzzles in which the status of at least one inhabitant is indeterminable. These puzzles are about an island in which some natives called "knights" always tell the truth and others called "knaves" always lie. It is assumed that every inhabitant of the island is either a knight or a knave (but cannot be both). If an inhabitant
A
makes a statement
P
, then we may conclude that
A
is a knight if and only if
P
is true. Such a fact is symbolically represented by
A⇔P
.