一家珠宝店的珠宝被盗，经查可以肯定是甲、乙、丙、丁中的某一个人所为。审讯中，甲说：“我不是罪犯。”乙说：“丁是罪犯。”丙说：“乙是罪犯。”丁说：“我不是罪犯。”经调查证实四人中只有一个人说的是真话。 
　　根据已知条件，下列哪个判断为真？ 
　　A．甲说的是假话，因此，甲是罪犯。 
　　B．乙说的是真话，丁是罪犯。 
　　C．丙说的是真话，乙是罪犯。 
　　D．丁说的是假话，丁是罪犯。 
　　E．四个人说的全是假话，丙才是罪犯。 

这题的通用解法是四种情况一一排列。

取巧的方法是： 可以发现已和丁说的话是互斥的，其中必有一真，而题目又说只有一人说的是真话，那么得出甲和丙说的都是假话。

由甲说假话，可以得出甲是罪犯，从而选A。

更新

此类题目的更一般解法是逻辑演算法

顺便备案下比较好的在线tex编辑

更新 此题的程序解法为：用prolog来解一道逻辑分析题