食品检测中心安排小佟、小宦、小乜三名检验员分别负责理化室、微生物室、留样室（每人…
食品检测中心安排小佟、小宦、小乜三名检验员分别负责理化室、微生物室、留样室（每人一室，互不相同）。已知：小佟不在留样室；小宦也不在留样室；小乜不在理化室。 由此可以推出下列哪项必然成立？
A. 小乜在微生物室
B. 小佟在理化室
C. 小宦在微生物室
D. 小乜在留样室
答案与解析
正确答案：D
花生十三讲解
朴素逻辑匹配型，最大信息优先。小佟不在留样室，小宦也不在留样室，三人中留样室只能由小乜负责，且与'小乜不在理化室'相容，D必然成立。此时理化室与微生物室在小佟、小宦之间有两种分配方式均满足条件，故B小佟理化室、C小宦微生物室均不必然，A小乜微生物室与推理矛盾。确认答案为D。
原解析
小佟、小宦都不在留样室，留样室只能由小乜负责（与'小乜不在理化室'相容），D必然成立。理化室与微生物室在小佟、小宦之间有两种分配，故B、C不必然，A错误（程序枚举验证：恰两种有效方案且小乜均在留样室）。