食品安全巡查安排小恽、小别、小单三人分别负责周一、周三、周五三个巡查日（每人一天…
食品安全巡查安排小恽、小别、小单三人分别负责周一、周三、周五三个巡查日（每人一天，互不相同）。已知：小恽不安排在周一；小别不安排在周五；小单也不安排在周五。 由此可以推出下列哪项必然成立？
A. 小恽安排在周五
B. 小别安排在周一
C. 小单安排在周三
D. 小别安排在周五
答案与解析
正确答案：A
花生十三讲解
用朴素逻辑的匹配排除法。小别、小单都不安排在周五，三人一人一天，周五只能由小恽负责，且与“小恽不在周一”相容，A必然成立。剩下的周一与周三在小别、小单之间分配，两种方案都满足条件：小别周一小单周三，或小别周三小单周一，故B、C不必然；D与推理直接矛盾。确认答案为A。
原解析
小别、小单都不在周五，周五只能由小恽负责（与'小恽不在周一'相容），A必然成立。周一与周三在小别、小单之间有两种分配，故B、C不必然，D错误（程序枚举验证：恰两种有效方案且小恽均在周五）。