You have been invited to a poker game where each of the other players (Alex, Bert, Carl, Dave) is a knight, knave or liar. The players introduce themselves as follows:

Player 1's statements:
1. Bert is a knight.
2. I am Alex.

Player 2's statements:
1. Alex is a liar.
2. I am a knave.

Player 3's statements:
1. Carl is a knave.
2. Dave is a liar.

Player 4's statements:
1. I am Dave.
2. Bert is a knight.
3. Carl is a knave.

Determine who makes which set of statements and whether each one is a knight, knave or liar.

More than one solution is possible if a player can be referencing himself with "... is a ..." -- for example, if Player 3 was Carl.

Player 1 (Alex) Knave [F, T]
Player 2 (Bert) Liar  [F, F]
Player 3 (Carl) Knave [T, F]
Player 4 (Dave) Knave [T, F]

Or Player 3 was Dave...

Player 1 (Alex) Knave [F, T]
Player 2 (Bert) Liar  [F, F]
Player 3 (Dave) Knave [F, T]
Player 4 (Carl) Liar  [F, F]

* (The examples above is only a partial list. See Charlie's posts for a complete list.)

Yet, if the player must be referencing another with a statement containing "is a", then the solution is:

Player 1 (Alex) Knave [F, T]
Player 2 (Carl) Knave [T, F]
Player 3 (Bert) Knave [T, F]
Player 4 (Dave) Knave [T, F, T]

Edited on March 18, 2007, 5:28 am

Posted by Dej Mar on 2007-03-06 16:19:43