创建文明城市检查期间，安排小乔、小宁、小娄三名督导员分别负责城东线、城西线、城北…
创建文明城市检查期间，安排小乔、小宁、小娄三名督导员分别负责城东线、城西线、城北线（每人一条，互不相同）。已知：小乔不走城北线；小宁也不走城北线；小娄不走城东线。 由此可以推出下列哪项必然成立？
A. 小娄走城北线
B. 小乔走城东线
C. 小宁走城西线
D. 小娄走城西线
答案与解析
正确答案：A
花生十三讲解
用朴素逻辑的匹配排除法。小乔、小宁都不走城北线，三人一人一条线，城北线只能由小娄负责，且与“小娄不走城东线”相容，A必然成立。剩下的城东线与城西线在小乔、小宁之间分配，两种方案都满足条件：小乔城东小宁城西，或小乔城西小宁城东，故B、C不必然；D与前述结论矛盾。确认答案为A。
原解析
小乔、小宁都不走城北线，城北线只能由小娄负责（与'小娄不走城东线'相容），A必然成立。城东、城西两线在小乔、小宁之间有两种分配，故B、C不必然，D错误（程序枚举验证：恰两种有效方案且小娄均走城北线）。