面包工坊安排小伊、小聂、小池三名面点师分别负责和面间、醒发间、烤制间（每人一处，…
面包工坊安排小伊、小聂、小池三名面点师分别负责和面间、醒发间、烤制间（每人一处，互不相同）。已知：小伊不负责烤制间；小聂也不负责烤制间；小池不负责和面间。 由此可以推出下列哪项必然成立？
A. 小池负责烤制间
B. 小伊负责和面间
C. 小聂负责醒发间
D. 小池负责醒发间
答案与解析
正确答案：A
花生十三讲解
朴素逻辑匹配型，最大信息优先。小伊不负责烤制间，小聂也不负责烤制间，三处中烤制间只能由小池负责，且与'小池不负责和面间'相容，A必然成立。此时和面间与醒发间在小伊、小聂之间有两种分配方式均满足条件，故B小伊和面间、C小聂醒发间均不必然，D小池醒发间与推理矛盾。确认答案为A。
原解析
小伊、小聂都不负责烤制间，烤制间只能由小池负责（与'小池不负责和面间'相容），A必然成立。和面间与醒发间在小伊、小聂之间有两种分配，故B、C不必然，D错误（程序枚举验证：恰两种有效方案且小池均在烤制间）。