Quantcast

Got Homework?

Connect with other students for help. It's a free community.

  • across
    MIT Grad Student
    Online now
  • laura*
    Helped 1,000 students
    Online now
  • Hero
    College Math Guru
    Online now

Here's the question you clicked on:

55 members online
  • 0 replying
  • 0 viewing

student47 Group Title

There are three suspects for a murder: Adams, Brown, and Clark. Adams says "I didn't do it. The victim was an old acquaintance of Brown's. But Clark hated him." Brown states "I didn't do it. I didn't know the guy. Besides I was out of town all week." Clark says "I didn't do it. I saw both Adams and Brown in town around the victim that day; one of them must have done it." We know that exactly one of the suspects is guilty. Assume that the two innocent men are telling the truth, but that the guilty man might not be. Let the propositional variables have the following definitions:

  • 2 years ago
  • 2 years ago

  • This Question is Open
  1. student47 Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    Let the propositional variables have the following definitions: A = Adams is innocent B = Brown is innocent C = Clark is innocent X = Brown knew the victim Y = Brown was out of town Z = Adams was out of town W = Clark hated the victim

    • 2 years ago
  2. student47 Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    Formalize the description of each of the sentences below in propositional logic sentences using the variables above. Exactly one of the suspects is guilty: (A->~B)^(B->(~A^~C))^(C->~B)

    • 2 years ago
  3. student47 Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    A word on notation: In all of the HTML pages (problems and exercises) we are using the following notation for propositional logic: ^ (caret) for and, v (lower case v) for or, ~ for not, -> (hyphen, >) for implication, and <-> (<, hyphen, >) for biconditionals. Propositional variables are upper case letters (and possibly numbers). The symbols true and false are written out in lower case.

    • 2 years ago
  4. student47 Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    I FOUND MY LOGIC IS FALSE IN : Exactly one of the suspects is guilty: (A->~B)^(B->(~A^~C))^(C->~B) HOW SHOULD I CHANGE THIS

    • 2 years ago
  5. student47 Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    I EVEN TRIED THIS ONE, TOO. BUT IT DIDN'T WORK : (~A -> B^C) ^ (~B-> A^C) ^ (~C -> A^B)

    • 2 years ago
  6. student47 Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    SORRY, I FINALLY SOLVE THIS ONE (A^B^~C)v(B^~A^C)v(C^A^~B)

    • 2 years ago
  7. student47 Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    Reference : 6.034(artificial intelligence) pset4

    • 2 years ago
    • Attachments:

See more questions >>>

Your question is ready. Sign up for free to start getting answers.

spraguer (Moderator)
5 → View Detailed Profile

is replying to Can someone tell me what button the professor is hitting...

23

  • Teamwork 19 Teammate
  • Problem Solving 19 Hero
  • You have blocked this person.
  • ✔ You're a fan Checking fan status...

Thanks for being so helpful in mathematics. If you are getting quality help, make sure you spread the word about OpenStudy.

This is the testimonial you wrote.
You haven't written a testimonial for Owlfred.