Brenda, Anthony, and C are accused of During the interrogation they make the following claims: Brenda says: "If Anthony is guilty then Charles is guilty too".
Anthony says: "Brenda did it and Charles is innocent".
Charles says: "I did not do it. One of the others, or maybe both of them did it"
(a) Write a formula in propositional logic than represents the conjunction of the three above claims using the following atomic propositions:
B: Brenda is guilty.
A: Anthony is guilty.
C: Charles is guilty
(b) Are the three above statements contradictory? Justify.
(c) Assuming that all of them are guilty, who lied during the interrogation? Justify.
(d) Assuming that nobody lied, who is innocent and who is guilty? Justify.