Two men, X and Y, were tried for a crime on the Island of Knights and Knaves. The prosecuting attorney was known to be a knight or a knave. He made the following two statements in court:
1. X is guilty
2. X and Y are not both guilty
If you were on the jury, what would you make of this?
Could you come to any conclusion about the guilt of either X or Y?
What would be your opinion about the veracity of the prosecutor?
Solve the problem in 3 ways
1. Informally
2. Truth tables
3. Boolean algebra