净菜加工厂安排小能、小况、小富三名员工分别负责分拣区、清洗区、包装区（每人一处，…
净菜加工厂安排小能、小况、小富三名员工分别负责分拣区、清洗区、包装区（每人一处，互不相同）。已知：小能不负责包装区；小况也不负责包装区；小富不负责分拣区。 由此可以推出下列哪项必然成立？
A. 小况负责清洗区
B. 小能负责分拣区
C. 小富负责包装区
D. 小富负责清洗区
答案与解析
正确答案：C
花生十三讲解
先看约束条件：小能和小况都不负责包装区，包装区只剩小富，因此小富必在包装区，C必然成立。A项小况可能在分拣区或清洗区，不必然；B项小能也可能在清洗区，不必然；D项小富已确定在包装区，清洗区只能是剩下两人之一，也不必然。排除A、B、D后，确认答案为C。速记：排除法锁定唯一空缺，直接选必真项。
原解析
小能、小况都不负责包装区，包装区只能由小富负责（与'小富不负责分拣区'相容），C必然成立。分拣区与清洗区在小能、小况之间有两种分配，故B、A不必然，D错误（程序枚举验证：恰两种有效方案且小富均在包装区）。