Quote:

4. An enormous amount of loot has been stolen from a store. The criminal (or criminals) took the heist away in the car. Three well known criminals A, B and C were brought to Scotland Yard for questioning. The following facts were ascertained:

a) No one other than A, B and C was involved in the robbery

b) C never pulls a job without using A (and possible others) as an accomplice

c) B does not know how to drive

Is A innocent or guilty?

[Hint: A way to answer this question is to rewrite the recorded facts using propositional logic, with basic statements of the form A is guilty, B is guilty, C is guilty, respectively. The next step wuld be to write down the truth tables for the formulas obtained. Keeping in mind that formulas representing facts are always true, you will then be able to deduce an answer tot he question.}

Let P(S) be the statement "S is guilty".