部门评选优秀员工，同事们猜测结果。小凌说：'优秀员工是小原'；小原说：'优秀员工…
部门评选优秀员工，同事们猜测结果。小凌说：'优秀员工是小原'；小原说：'优秀员工是小蒋'；小蒋说：'优秀员工不是我'；小唐说：'优秀员工不是小凌'。已知四人中只有一人说对，且优秀员工只有一人、就在四人当中。 优秀员工是谁？
A. 小凌
B. 小原
C. 小蒋
D. 小唐
答案与解析
正确答案：A
花生十三讲解
真假推理找矛盾法。小原说'是小蒋'与小蒋说'不是我'构成矛盾，必有一真一假。已知四人中只有一人说对，则唯一真话在小原、小蒋之中，小凌、小唐均说错。小唐'不是小凌'为假，即优秀员工是小凌。验证：为小凌时，小凌'是小原'错、小原错、小蒋'不是我'对、小唐错，恰好一人说对，成立且唯一。确认答案为A。
原解析
小原与小蒋的话矛盾（是小蒋/不是小蒋），必一真一假，唯一真话在其中，故小凌、小唐均说错。小唐说'不是小凌'为假，即优秀员工是小凌。验证：为小凌时，小凌错、小原错、小蒋对、小唐错，恰一人对，自洽（程序枚举验证唯一）。