档案柜里少了一份文件，只可能是甲、乙、丙三人中一人借走未登记。甲说：'是乙借的'…
档案柜里少了一份文件，只可能是甲、乙、丙三人中一人借走未登记。甲说：'是乙借的'；乙说：'是丙借的'；丙说：'乙说的不对'。已知三人中恰有两人说真话。 借走文件的是：
A. 无法确定
B. 甲
C. 丙
D. 乙
答案与解析
正确答案：D
花生十三讲解
真假推理找矛盾法。乙说'是丙借的'与丙说'乙说的不对'构成矛盾，必有一真一假。已知恰有两人说真话，则另一句真话是甲的'是乙借的'，即文件是乙借走的。验证：乙借时，甲'是乙'真、乙'是丙'假、丙'乙说的不对'真，恰好两人说真话，成立；若甲借或丙借均只有一真，不符。确认答案为D。
原解析
乙与丙矛盾，必一真一假；恰两真，故甲说真话：是乙借的。验证：乙借时甲真、乙假、丙真，恰两真；甲借或丙借时均只有一真（程序枚举验证唯一）。