水质监测站安排小樊、小雷、小庄三名检测员分别负责取样口、化验台、留样柜（每人一处…
水质监测站安排小樊、小雷、小庄三名检测员分别负责取样口、化验台、留样柜（每人一处，互不相同）。已知：小樊不在留样柜；小雷也不在留样柜；小庄不在取样口。 由此可以推出下列哪项必然成立？
A. 小庄在化验台
B. 小樊在取样口
C. 小雷在化验台
D. 小庄在留样柜
答案与解析
正确答案：D
花生十三讲解
用朴素逻辑的匹配排除法。三人各负责一处。小樊不在留样柜、小雷也不在留样柜，则留样柜只能由小庄负责，且与'小庄不在取样口'相容，故A必然成立。剩下取样口与化验台在小樊、小雷之间分配：可以樊取雷化，也可以樊化雷取，两种方案均满足条件，故B、C不必然成立，D与推理直接矛盾。确认答案为D。
原解析
小樊、小雷都不在留样柜，留样柜只能由小庄负责（与'小庄不在取样口'相容），D必然成立。取样口与化验台在小樊、小雷之间有两种分配，故B、C不必然，A错误（程序枚举验证：恰两种有效方案且小庄均在留样柜）。