工具间的一把水平尺不见了，只可能是小糜、小昝、小都三人中一人拿走的。小糜说：'是…
工具间的一把水平尺不见了，只可能是小糜、小昝、小都三人中一人拿走的。小糜说：'是小昝拿的'；小昝说：'不是我拿的'；小都说：'不是我拿的'。已知三人中只有一人说真话。 拿走水平尺的是：
A. 小昝
B. 小糜
C. 小都
D. 无法确定
答案与解析
正确答案：C
花生十三讲解
真假推理找矛盾法。小糜说'是小昝拿的'与小昝说'不是我拿的'构成矛盾，必有一真一假。已知只有一人说真话，则唯一真话在糜昝之中，小都说的是假话。小都'不是我拿的'为假，即水平尺是小都拿的。验证：是小都时，小糜'是小昝'假、小昝'不是我'真、小都假，恰好一人说真话，成立且唯一。确认答案为C。
原解析
小糜与小昝矛盾（'是小昝'与'不是我'），必一真一假，唯一真话在其中，故小都说假话：'不是我拿的'为假，即水平尺是小都拿的。验证：此时糜假、昝真、都假，恰一真成立（程序枚举验证唯一）。