办公室的一台投影遥控器不见了，只可能是小程、小帅、小路三人中一人拿走的。小程说：…
办公室的一台投影遥控器不见了，只可能是小程、小帅、小路三人中一人拿走的。小程说：'不是我拿的'；小帅说：'是小程拿的'；小路说：'是小帅拿的'。已知三人中只有一人说假话。 拿走遥控器的是：
A. 小帅
B. 小程
C. 小路
D. 无法确定
答案与解析
正确答案：A
花生十三讲解
用真假推理的找矛盾法。小程说'不是我拿的'与小帅说'是小程拿的'互为矛盾，必有一真一假。已知只有一人说假话，假话锁定在程、帅之中，故小路说真话——是小帅拿的。回验：是小帅时，小程（不是我）真、小帅（是小程）假、小路（是小帅）真，恰好一人说假话，完全自洽。确认答案为A。
原解析
小程与小帅矛盾（'不是我'与'是小程'），必一真一假，唯一假话在其中，故小路说真话：是小帅拿的。验证：此时小程真、小帅假、小路真，恰一假成立（程序枚举验证唯一）。