小崔、小裴、小魏三人分别被分配到综合科、业务科、督查科（每人一科，互不相同）。已…
小崔、小裴、小魏三人分别被分配到综合科、业务科、督查科（每人一科，互不相同）。已知：小崔不在综合科；小裴不在督查科；小魏也不在综合科。 由此可以推出下列哪项必然成立？
A. 小裴在综合科
B. 小崔在督查科
C. 小魏在业务科
D. 小魏在综合科
答案与解析
正确答案：A
花生十三讲解
朴素逻辑匹配型，最大信息优先。小崔不在综合科，小魏也不在综合科，三人中综合科只能由小裴负责，且与'小裴不在督查科'相容，A必然成立。此时小崔与小魏在业务科、督查科之间有两种分配方式均满足条件，故B小崔在督查科、C小魏在业务科均不必然，D小魏在综合科错误。确认答案为A。
原解析
小崔、小魏都不在综合科，综合科只能由小裴负责（与'小裴不在督查科'相容），A必然成立。此时小崔与小魏在业务科、督查科间有两种分配方式，故B、C不必然，D错误（程序枚举验证：恰两种有效方案且小裴均在综合科）。