1
$\begingroup$

A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet four inhabitants: Bozo, Marge, Bart and Zed.

  • Bozo says," Bart and Zed are both knights".
  • Marge tells you that both Bart is a knight and Zed is a knave
  • Bart tells you," Neither Marge nor Zed are knaves".
  • Zed says that neither Bozo nor Marge are knaves.

Can you determine who is a knight and who is a knave?

I am having extreme difficulty with this can anyone help me? I assume is starts like this.

So

$Bo\equiv(Ba\land Ze)$

$Ma≡(Ba\land \lnot Ze)$

$Ba\equiv(Ma\lor Ze)$

$Ze≡(Bo\lor Ma)$

Where

$Bo$= Bozo is a knight

$Ma$= Marge is a knight

$Ba$= Bart is a knight

$Ze$= Zed is a knight

  • 0
    possible duplicate of [Knights and knaves: Who are B and C? (task 26 from "What Is the Name of This Book?")](http://math.stackexchange.com/questions/16403/knights-and-knaves-who-are-b-and-c-task-26-from-what-is-the-name-of-this-boo)2012-12-04
  • 1
    @Don: Could you please describe the isomorphism you see between this problem and the duplicate you suggested? Superficially they look quite different.2012-12-04
  • 0
    @amWhy: The same question to you; your suggested duplicate also looks quite different superficially.2012-12-04
  • 0
    To all, I mistakenly voted to close, prematurely. The "possible duplicate" that was generated as a comment was not accurate. I have deleted that comment. Apologies. @joriki - You needn't be so argumentative, joriki.2012-12-04
  • 0
    @amWhy: I'm sorry if I came across as argumentative; that wasn't my intention; I was only asking for an explanation and expressing a different view. Please explain why my comment struck you as argumentative to help me avoid that in the future.2012-12-04
  • 0
    @joriki: Admittedly, perhaps I took your comment too personally, but that's not something I want to discuss publicly. I do appreciate your comment/reply and your concern regarding my perception.2012-12-04
  • 0
    @joriki, I don't know about isomorphisms between problems.2012-12-04
  • 0
    @Don: What I meant is, you suggested a duplicate, and it appears at least superficially that it poses a different question, so I was asking you to explain how you're mapping the problems onto each other in order to conclude that they're in fact the same problem even though it doesn't look like that at first sight.2012-12-04

4 Answers 4