WOLFRAM NOTEBOOK

WOLFRAM|DEMONSTRATIONS PROJECT

Knights and Knaves Puzzle Generator

​
number of inhabitants
5
show
general formulation
statements
symbolic statements
solution
new puzzle
Knights and Knaves​There is an island in which certain inhabitants called "knights" always tell the truth and others called "knaves" who always lie. It is assumed that every inhabitant of the island is either a knight or a knave.​​In the problem there are 5 inhabitants, who are denoted by A, B, C, …. The first 4 of them make a statement. Who is a knight and who is a knave?
This Demonstration provides a generator of "knights and knaves" logic puzzles. 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. 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
.
Wolfram Cloud

You are using a browser not supported by the Wolfram Cloud

Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.


I understand and wish to continue anyway »

You are using a browser not supported by the Wolfram Cloud. Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.