书法比赛结束后，四人猜测获奖情况。小安说：'小北获奖了'；小北说：'小成获奖了'…
书法比赛结束后，四人猜测获奖情况。小安说：'小北获奖了'；小北说：'小成获奖了'；小成说：'我没有获奖'；小丁说：'我没有获奖'。已知四人中只有一人获奖，且只有一人猜对。 获奖的是：
A. 小成
B. 小安
C. 小北
D. 小丁
答案与解析
正确答案：D
花生十三讲解
用真假推理的找矛盾法。小北说'小成获奖了'与小成说'我没有获奖'互为矛盾，必有一真一假。已知只有一人猜对，真话锁定在小北、小成之中，故小安、小丁均说假话：小北没获奖、小丁获奖了。又只有一人获奖，恰为小丁。回验：小丁获奖时，小安假、小北假、小成（我没获奖）真、小丁假，恰好一人猜对，完全自洽。确认答案为D。
原解析
小北与小成矛盾，唯一真话在其中，故小安、小丁均说假话：小北未获奖、小丁获奖了。验证：小丁获奖时，小安假、小北假、小成真、小丁假，恰一真自洽（程序枚举验证唯一）。