Alex, Bert, and Carl are taking a break from being main subjects in these logic puzzles, so Dave and Eddy decided to comment on the rarely seen Fred, Gary, and Hank.
Dave and Eddy are both knaves and each one makes four of the eight statements below. The statements are in order, but whether Dave or Eddy made any given statement is not known. Without knowing which statements are Dave's and which are Eddy's, can you determine the types of Fred, Gary, and Hank?
- Fred is a liar.
- Gary is a knave.
- Hank is a knight.
- Fred and Gary are the same type.
- Gary and Hank are different types.
- Fred is a knight.
- Hank is a knave.
- Gary is a liar.
I am not sure exactly how one is supposed to post comments and/or solutions. Is there a FAQ for these?
Also, is there some background (previous puzzles?) presupposed by this problem. E.g. are "liar" "knave" and "knight" three "types"? Or is it assumed that "liar" and "knave" are co-extensive? Does being a "liar" (and "knave"?) imply that ALL statements made are False, or only some may be? Does being a knight imply all statement are True, or only that they are believed by the speaker to be true?
I participate in several other puzzle sites, but this is my first encounter with this one. It seems that you distinguish between "Regular" (presumably a solution, with no explanation) and "Full solution" (does this indicate the method of solution, or must it also give all details?).
Posted by badger
on 2007-10-10 15:05:47