Question

Brenda, Anthony, and Charles are accused of using more than $100,000 in marketing campaign funds for personal expenses, including family vacations and international travel for relatives. 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”  

Write a formula in propositional logic that 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

Are the three above statements contradictory? Justify

Assuming that all of them are guilty, who lied during the interrogation? Justify

Answer 1

Brenda says : If A then C : A=>C : A' OR C

Anthony says: B and not C : B AND C'

Charls says: not C and (A or B or (A and B)

and from above solution Bandra is guilty