库房的手持贴标机不见了，只可能是小郈、小富、小蓟三人中一人拿去用了。小郈说：'是…
库房的手持贴标机不见了，只可能是小郈、小富、小蓟三人中一人拿去用了。小郈说：'是小富拿的'；小富说：'不是我拿的'；小蓟说：'不是我拿的'。已知三人中只有一人说真话。 拿走贴标机的是：
A. 小郈
B. 小富
C. 小蓟
D. 无法确定
答案与解析
正确答案：C
花生十三讲解
真假推理找矛盾法。小郈说'是小富拿的'与小富说'不是我拿的'构成矛盾，必有一真一假。已知只有一人说真话，则唯一真话在郈富之中，小蓟说的是假话。小蓟'不是我拿的'为假，即贴标机是小蓟拿的。验证：是小蓟时，郈假、富'不是我'真、蓟假，恰好一人说真话，成立且唯一。确认答案为C。
原解析
小郈与小富的话矛盾，必有一真一假，唯一真话在其中，故小蓟说假话：'不是我拿的'为假，即是小蓟拿的。验证：此时郈假、富真、蓟假，恰一真成立（程序枚举验证唯一）。