[Haskell-cafe] Problem with question 3 about knights and knaves onw ikipedia

Steve Schafer steve at fenestra.com
Thu Aug 9 14:21:55 EDT 2007

On Thu, 9 Aug 2007 20:07:02 +0200, you wrote:

>("John is a knight","Bill is a knight","Yes","No ")
>("John is a knight","Bill is a knave ","No ","No ")
>("John is a knave ","Bill is a knight","Yes","Yes")
>("John is a knave ","Bill is a knave ","Yes","No ")
>Anyone has an idea what I missed here?

You're missing a key element of the problem: After John answers the
first question, the Logician doesn't have enough information to solve
the problem. Think about that for a second, and you will see the light.

Steve Schafer
Fenestra Technologies Corp.

More information about the Haskell-Cafe mailing list