Trong một phiên tòa có 3 bị can, lời khai của 3 bị can đều đúng sự thật và lời khai cụ thể như sau:
- Anh An: Chị Bình có tội và anh Công vô tội
- Chị Bình: Nếu anh An có tội thì anh Công có tội
- Anh Công: Tôi vô tội nhưng một trong 2 người kia có tội.
Áp dụng logic mệnh đề cho biết ai là người có tội trong phiên tòa này: