计量室的万用表不见了，只可能是小苍、小邰、小蒯三人中一人借走的。小苍说：'是小邰…
计量室的万用表不见了，只可能是小苍、小邰、小蒯三人中一人借走的。小苍说：'是小邰借的'；小邰说：'不是我借的'；小蒯说：'不是我借的'。已知三人中只有一人说真话。 借走万用表的是：
A. 小苍
B. 小邰
C. 小蒯
D. 无法确定
答案与解析
正确答案：C
花生十三讲解
真假推理找矛盾法。小苍说'是小邰借的'与小邰说'不是我借的'构成矛盾，必有一真一假。已知只有一人说真话，则唯一真话在苍邰之中，小蒯说的是假话。小蒯'不是我借的'为假，即万用表是小蒯借走的。验证：是小蒯时，苍假、邰'不是我'真、蒯假，恰好一人说真话，成立且唯一。确认答案为C。
原解析
小苍与小邰的话矛盾，必有一真一假，唯一真话在其中，故小蒯说假话：'不是我借的'为假，即万用表是小蒯借走的。验证：此时苍假、邰真、蒯假，恰一真成立（程序枚举验证唯一）。