工具间的激光水平仪不见了，只可能是小桑、小衡、小咸三人中一人借走的。小桑说：'是…
工具间的激光水平仪不见了，只可能是小桑、小衡、小咸三人中一人借走的。小桑说：'是小衡借的'；小衡说：'不是我借的'；小咸说：'不是我借的'。已知三人中只有一人说真话。 借走激光水平仪的是：
A. 小桑
B. 小衡
C. 小咸
D. 无法确定
答案与解析
正确答案：C
花生十三讲解
用真假推理的矛盾关系解题。小桑说'是小衡借的'与小衡说'不是我借的'构成矛盾，必一真一假，唯一的真话必在其中，故小咸的话'不是我借的'为假，即水平仪是小咸借走的。验证：若是小咸借，桑说是衡为假，衡说不是我为真，咸说不是我为假，恰好只有一人说真话，与条件相符，结论唯一。确认答案为C。
原解析
小桑与小衡的话矛盾，必有一真一假，唯一真话在其中，故小咸说假话：'不是我借的'为假，即是小咸借走的。验证：此时桑假、衡真、咸假，恰一真成立（程序枚举验证唯一）。