酸菜加工厂安排小能、小蓟、小况三名员工分别负责杀菌区、发酵区、包装区（每人一处，…
酸菜加工厂安排小能、小蓟、小况三名员工分别负责杀菌区、发酵区、包装区（每人一处，互不相同）。已知：小能不负责包装区；小蓟也不负责包装区；小况不负责杀菌区。 由此可以推出下列哪项必然成立？
A. 小况负责包装区
B. 小能负责杀菌区
C. 小蓟负责发酵区
D. 小况负责发酵区
答案与解析
正确答案：A
花生十三讲解
朴素逻辑之条件锁定。小能不负责包装区，小蓟也不负责包装区，三区每人一处，包装区只能由小况负责，与'小况不负责杀菌区'相容，A必然成立。杀菌区与发酵区在小能、小蓟之间尚有两种分配：能杀菌蓟发酵，或能发酵蓟杀菌，故B、C不必然；D小况负责发酵区与推理矛盾。确认答案为A。
原解析
小能、小蓟都不负责包装区，包装区只能由小况负责（与'小况不负责杀菌区'相容），A必然成立。杀菌区与发酵区在小能、小蓟之间有两种分配，故B、C不必然，D错误（程序枚举验证：恰两种有效方案且小况均在包装区）。