某公司年会抽奖，一等奖在编号1、2、3、4的四个箱子中的某一个里。箱1标注'一等…
某公司年会抽奖，一等奖在编号1、2、3、4的四个箱子中的某一个里。箱1标注'一等奖在箱2或箱3'；箱2标注'一等奖不在箱2'；箱3标注'一等奖在箱1'；箱4标注'一等奖不在箱4'。已知四个标注中恰有两个为真。 一等奖在哪个箱子？
A. 箱1
B. 箱2
C. 箱3
D. 箱4
答案与解析
正确答案：B
花生十三讲解
用真假推理的假设代入法，逐箱验证“恰有两真”。在箱1时：箱2、箱3、箱4的标注为真，三真不合；在箱2时：箱1“在箱2或箱3”真、箱2“不在箱2”假、箱3“在箱1”假、箱4“不在箱4”真，恰好两真，成立；在箱3时：箱1、箱2、箱4皆真，三真不合；在箱4时：仅箱2真，一真不合。唯一解：一等奖在箱2。确认答案为B。
原解析
逐一验证：在箱1时，真的有箱2、箱3、箱4三个标注，不合；在箱2时，箱1真、箱2假、箱3假、箱4真，恰两真，成立；在箱3时，箱1、箱2、箱4皆真，不合；在箱4时，箱2真、其余假，仅一真，不合。故一等奖在箱2（程序枚举验证唯一）。