Solve the following puzzle by translating statements into logical expressions and reasoning from these expressions. Four friends have been identified as suspects for an unauthorized access into a...

Solve the following puzzle by translating statements into logical expressions and reasoning from
these expressions.
Four friends have been identified as suspects for an unauthorized access into a computer system.
They have made statements to the investigating authorities.
1-Alice said Carlos did it.
2-John said I did not do it.
3-Carlos said Diana did it.
4-Diana said Carlos lied when he said that I did it.
If the authorities also know that exactly one of the four suspects is telling the truth, who did
it?