Inconsistent Sets of Statements from Knights and Knaves

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
On an island of knights and knaves, knights always tell the truth, knaves always lie, and everyone is either a knight or a knave. There are inhabitants denoted by A, B, C, …. Each one makes a statement about the number of knights in a set. (The set
is the empty set with zero knights.) Their vocabulary is rather limited; generally they talk about even
and odd
numbers.
Contributed by: Izidor Hafner (January 2013)
Open content licensed under CC BY-NC-SA
Snapshots
Details
detailSectionParagraphPermanent Citation
"Inconsistent Sets of Statements from Knights and Knaves"
http://demonstrations.wolfram.com/InconsistentSetsOfStatementsFromKnightsAndKnaves/
Wolfram Demonstrations Project
Published: January 9 2013