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: