Puzzles from the website: https://philosophy.hku.hk/think/logic/knights.php
Puzzle 1
A very special island is inhabited only by knights and knaves. Knights always
tell the truth, and knaves always lie. You meet two inhabitants: Zoey and Mel.
Zoey tells you that Mel is a knave. Mel says, `Neither Zoey nor I are knaves.'
Solution:
In the following, * means compelement (inverse) so Z* means "not Z"
Assign a binary variable to each person. (e.g, above Z = Zoey and M = Mell)
If the variable is true, the person is a knight, and if false, they are a knave.
If they are a knight, then their statement is true, but if a knave, it is false.
The statement "Mel is a knave" is represented by
M*
The statement "Zoey tells you that Mel is a knave" can be written as
Z M* + Z* M
That is, either Zoey is a knight and his statement is true (Z M*),
OR he is a knave and it is false (Z* M).
The statement "Neither Zoey nor I are knaves" is
(Z* + M*)* which is the same as Z M (by DeMorgan's)
So if Mel says, `Neither Zoey nor I are knaves.' this is represented by
M(Z M) + M*(Z* + M*)
So now, given both Zoey and Mel's statements, we "AND" the knowledge gained by
each person and get the expression
[Z M* + Z* M] [M(Z M) + M*(Z* + M*)]
Which can be reduced:
[Z M* + Z* M] [ M (Z M) + M* (Z* + M*) ]
[ ZM* + Z*M ][ M (Z M) + M*Z* + M* ]
[ ZM* + Z*M ] [ZM + M* ]
[ ZM* + Z*M ] [Z + M*]
ZM* + ZZ*M + ZM* + Z*MM*
ZM* + 0 + ZM* + 0
ZM*
So Zoey is a knight and Mel is a knave
******************************************************************************
Puzzle 2
A very special island is inhabited only by knights and knaves. Knights always
tell the truth, and knaves always lie. You meet two inhabitants: Peggy and
Zippy. Peggy tells you that 'of Zippy and I, exactly one is a knight'. Zippy
tells you that only a knave would say that Peggy is a knave.
So who is a knight and who is a knave?
******************************************************************************
Puzzle 3
A very special island is inhabited only by knights and knaves. Knights always
tell the truth, and knaves always lie. You meet two inhabitants: Sue and
Zippy. Sue says that Zippy is a knave. Zippy says, `I and Sue are knights.'
So who is a knight and who is a knave?
******************************************************************************
Puzzle 4
A very special island is inhabited only by knights and knaves. Knights always
tell the truth, and knaves always lie. You meet two inhabitants: Sally and
Zippy. Sally claims, `I and Zippy are not the same.' Zippy says, `Of I and
Sally, exactly one is a knight.'
So who is a knight and who is a knave?
******************************************************************************
Puzzle 382
A very special island is inhabited only by knights and knaves. Knights always
tell the truth, and knaves always lie. You meet nine inhabitants: Mel, Bart,
Sue, Betty, Rex, Zeke, Sally, Zoey and Homer. Mel claims that only a knave
would say that Sally is a knave. Bart claims, `Rex is a knave.' Sue says that
Mel and Homer are knaves. Betty tells you, `I know that I am a knight and that
Sally is a knave.' Rex says, `Betty and I are both knights.' Zeke tells you
that at least one of the following is true: that Sally is a knight or that Sue
is a knight. Sally says, `It's false that Betty is a knave.' Zoey says, `It's
not the case that Sue is a knave.' Homer tells you that Betty is a knave or
Zeke is a knave. <>
So who is a knight and who is a knave?