某单位从甲、乙、丙、丁四人中选派两人参加培训，安排须满足：如果选甲，就不选乙；如…
某单位从甲、乙、丙、丁四人中选派两人参加培训，安排须满足：如果选甲，就不选乙；如果不选乙，就不选丙；如果不选丙，就不选甲；丁必须入选。 由此可以推出，另一名入选的是：
A. 丙
B. 甲
C. 乙
D. 无法确定
答案与解析
正确答案：C
花生十三讲解
朴素逻辑之条件锁定。丁必须入选，另一名在甲、乙、丙中逐一验证。选甲：由'选甲→不选乙'、'不选乙→不选丙'、'不选丙→不选甲'推出不选甲，自相矛盾，排除；选丙：丙入选则乙未选，'不选乙→不选丙'要求不选丙，矛盾，排除；选乙：不触发任何条件的前件，三条规则均满足。故另一名入选的是乙。确认答案为C。
原解析
丁占一名，另一名在甲、乙、丙中。选甲：甲→不选乙→不选丙→不选甲，自相矛盾；选丙：不选乙→不选丙，与选丙矛盾；选乙：三个条件均满足。故另一人是乙（程序枚举验证唯一）。