Display the following on a common, four-case truth table. Use “M” and “C” for “Moriarty is guilty” and “Crun is guilty.” (a) Either Moriarty and Crun are both guilty or Crun is innocent. (b) Either Crun is guilty or both he and Moriarty are. (c) Either Moriarty is guilty or both he and Crun are innocent. (d) Either Moriarty is guilty or Crun is innocent or both are guilty. (e) They are not both guilty, and at least one is innocent. j i f) Either both are guilty or Moriarty is but Crun is not. (g] Either they are not both guilty or they are not both innocent. Which are tautologies? Among the rest, which imply which others? Which imply that Moriarty is guilty? Which imply that Crun is guilty? The seven statements a to g are not jointly satisfiable, but certain six membered subsets are. Which? Which of the seven are individually satisfiable?
3. Display the following on a common, four-case truth table. Use “M” and “C” for “Moriarty is guilty” and “Crun is guilty.” (a) Either Moriarty and Crun are both guilty or Crun is innocent. (b) Either Crun is guilty or both he and Moriarty are. (c) Either Moriarty is guilty or both he and Crun are innocent. (d) Either Moriarty is guilty or Crun is innocent or both are guilty. (e) They are not both guilty, and at least one is innocent. j i f) Either both are guilty or Moriarty is but Crun is not. (g] Either they are not both guilty or they are not both innocent. Which are tautologies? Among the rest, which imply which others? Which imply that Moriarty is guilty? Which imply that Crun is guilty? The seven statements a to g are not jointly satisfiable, but certain six membered subsets are. Which? Which of the seven are individually satisfiable?
Trending now
This is a popular solution!
Step by step
Solved in 3 steps with 7 images
