Solved

# Caesar murder logic problem

Posted on 2011-03-17

it is a problem of logic concerning who killed Julius Caesar.

I have written the logical sentences and build the truth table, but I cannot find a way to combine all these...

p: Marcus Antonius(says): Cassius or Brutus or both

q: Cassius(says): not me. Marcus Antonius is lying

r: Brutus(says): if I did it, then the other two are guilty also.

m: Marcus Antonius is guilty

c: Cassius is guilty

b: Brutus is guilty

A guilty person always lies.

A non-guilty person always tells the truth

p: c OR b OR (c AND b)

q: c’ AND m (because a guilty always lies)

r: b => (c AND m)