饮料厂安排小邝、小巫、小诸葛三名员工分别负责配液室、灌装间、贴标区（每人一处，互…
饮料厂安排小邝、小巫、小诸葛三名员工分别负责配液室、灌装间、贴标区（每人一处，互不相同）。已知：小邝不在贴标区；小巫也不在贴标区；小诸葛不在配液室。 由此可以推出下列哪项必然成立？
A. 小诸葛在贴标区
B. 小邝在配液室
C. 小巫在灌装间
D. 小诸葛在灌装间
答案与解析
正确答案：A
花生十三讲解
用朴素逻辑的匹配排除法。小邝、小巫都不在贴标区，三人一人一处，贴标区只能由小诸葛负责，且与“小诸葛不在配液室”相容，A必然成立。剩下的配液室与灌装间在小邝、小巫之间分配，两种方案都满足条件：小邝配液小巫灌装，或小邝灌装小巫配液，故B、C不必然；D与前述结论矛盾。确认答案为A。
原解析
小邝、小巫都不在贴标区，贴标区只能由小诸葛负责（与'小诸葛不在配液室'相容），A必然成立。配液室与灌装间在小邝、小巫之间有两种分配，故B、C不必然，D错误（程序枚举验证：恰两种有效方案且小诸葛均在贴标区）。