农事服务中心安排小佟、小霍、小司徒三名员工分别负责育秧棚、烘干房、农机库（每人一…
农事服务中心安排小佟、小霍、小司徒三名员工分别负责育秧棚、烘干房、农机库（每人一处，互不相同）。已知：小佟不在农机库；小霍也不在农机库；小司徒不在育秧棚。 由此可以推出下列哪项必然成立？
A. 小霍在烘干房
B. 小佟在育秧棚
C. 小司徒在农机库
D. 小司徒在烘干房
答案与解析
正确答案：C
花生十三讲解
朴素逻辑匹配型，最大信息优先。小佟不在农机库，小霍也不在农机库，三人中农机库只能由小司徒负责，且与'小司徒不在育秧棚'相容，C必然成立。此时育秧棚与烘干房在小佟、小霍之间有两种分配方式均满足条件，故B小佟育秧棚、A小霍烘干房均不必然，D小司徒烘干房与推理矛盾。确认答案为C。
原解析
小佟、小霍都不在农机库，农机库只能由小司徒负责（与'小司徒不在育秧棚'相容），C必然成立。育秧棚与烘干房在小佟、小霍之间有两种分配，故B、A不必然，D错误（程序枚举验证：恰两种有效方案且小司徒均在农机库）。