政务大厅安排小谈、小龚、小娄三人分别值守一号窗、二号窗、三号窗（每人一窗，互不相…
政务大厅安排小谈、小龚、小娄三人分别值守一号窗、二号窗、三号窗（每人一窗，互不相同）。已知：小谈不值守三号窗；小龚不值守一号窗；小娄也不值守一号窗。 由此可以推出下列哪项必然成立？
A. 小谈值守一号窗
B. 小龚值守二号窗
C. 小娄值守三号窗
D. 小龚值守一号窗
答案与解析
正确答案：A
花生十三讲解
朴素逻辑匹配型，最大信息优先。小龚不值守一号窗，小娄也不值守一号窗，三人中一号窗只能由小谈值守，且与'小谈不值守三号窗'相容，A必然成立。此时二号窗与三号窗在小龚、小娄之间有两种分配方式均满足条件，故B小龚值二号窗、C小娄值三号窗均不必然，D小龚值一号窗错误。确认答案为A。
原解析
小龚、小娄都不值守一号窗，一号窗只能由小谈值守（与'小谈不值守三号窗'相容），A必然成立。二号窗与三号窗在小龚、小娄之间有两种分配，故B、C不必然，D错误（程序枚举验证：恰两种有效方案且小谈均在一号窗）。