The inhabitants of planet Realmazure are Knights, Pretenders, Prevaricators or Liars. All the statements made by a Knight are true, a Pretender will tell precisely one true statement, a Prevaricator will tell precisely two true statements, and all the statements made by a Liar will be false.
Four inhabitants N, O, P and Q of Realmazure are busy in a conversation, when a visitor from a neighboring planet stops by and asks each of them their identity. They say:
Inhabitant N
 I am a Knight.
 P is a Knight.
 P’s second statement is true.
Inhabitant O
 Q’s second statement is true.
 N’s first statement is true.
 P is a Knight.
Inhabitant P
 N is a Pretender.
 O’s third statement is false.
 O is a Pretender.
Inhabitant Q
 P is a Prevaricator.
 O’s third statement is true.
 O is a Pretender.
Determine the type of each of the four inhabitants in terms of the above statements.
Inhabitant N is a Pretender [F,F,T].
 N is NOT a Knight.
 P is NOT a Knight.
 P's second statement is true, (i.e., P is not a Knight).
Inhabitant O is a Liar [F,F,F]
 Q's second statement is NOT true, (i.e., P is not a Knight).
 N's first statement is NOT true, (i.e., N is not a Knight).
 P is NOT a Knight.
Inhabitant P is a Prevaricator [T,T,F].
 N is a Pretender.
 O's third statement is false, (i.e., P is not a Knight).
 O is NOT a Pretender.
Inhabitant Q is a Pretender [T,F,F].
 P is a Prevaricator.
 O's third statement is NOT true, (i.e., P is not a Knight).
 O is NOT a Pretender.

Posted by Dej Mar
on 20100117 15:29:05 