图书馆安排小单、小穰、小夔三名馆员分别负责咨询台、寄存台、广播台(每人一台,互不…
图书馆安排小单、小穰、小夔三名馆员分别负责咨询台、寄存台、广播台(每人一台,互不相同)。已知:小单不在广播台;小穰也不在广播台;小夔不在咨询台。 由此可以推出下列哪项必然成立?
A. 小夔在广播台
B. 小单在咨询台
C. 小穰在寄存台
D. 小夔在寄存台
答案与解析
正确答案:A
花生十三讲解
朴素逻辑匹配型,最大信息优先。小单不在广播台,小穰也不在广播台,三人中广播台只能由小夔负责,且与'小夔不在咨询台'相容,A必然成立。此时咨询台与寄存台在小单、小穰之间有两种分配方式均满足条件,故B小单咨询台、C小穰寄存台均不必然,D小夔寄存台与推理矛盾。确认答案为A。
原解析
小单、小穰都不在广播台,广播台只能由小夔负责(与'小夔不在咨询台'相容),A必然成立。咨询台与寄存台在小单、小穰之间有两种分配,故B、C不必然,D错误(程序枚举验证:恰两种有效方案且小夔均在广播台)。