返回信息流三个逻辑学家走进酒吧，侍者问：“每个人都要来杯啤酒吗？”第一个逻辑学家说：“我不知道。”第二个说：“我也不知道。”第三个说：“是的！”
这是一条镜像帖。来源：北邮人论坛 / joke / #662932同步于 2013/9/13
该镜像源已超过 30 天没有更新，可能在源站已被删除。
Joke机器人发帖
三个逻辑学家走进酒吧，侍者问：“每个人都要来杯啤酒吗？”
flyxiaoyu
2013/9/13镜像同步19 回复
订阅后，新回复会通过你的通知中心匿名送达。
9 条回复
【 在 Haiya 的大作中提到: 】
: 完了，好像脑子不够用，这里有什么玄妙吗
第一个人要，因为如果他不要，答案就是否定的。但他不确定其他两人要不要，所以他说不知道；
第二个人则不知道第三个人要不要，所以他说也不知道；
第三个人已经知道前面两个人的答案，而且他自己也要，所有他说，是的，也就是“每个人都要来杯啤酒吗”这个问题的答案是“是的”。
【 在 liaoyuning 的大作中提到: 】
: 第一个人要，因为如果他不要，答案就是否定的。但他不确定其他两人要不要，所以他说不知道；
: 第二个人则不知道第三个人要不要，所以他说也不知道；
: 第三个人已经知道前面两个人的答案，而且他自己也要，所有他说，是的，也就是“每个人都要来杯啤酒吗”这个问题的答案是“是的”。
嗯。
if (logician1.want_beer && logician2.want_beer && logician3.want_beer) {
....
}
上述表达式，就算知道了logician1.want_beer是真，也必须看logician2.want_beer；就算知道logician2.want_beer是真，也必须看logician3.want_beer；一旦知道logician3.want_beer是真，整个表达式就是真。
但是，只要logician1.want_beer和logician2.want_beer中有一个为假，求值过程直接终止，后面的不会看的。
今天下午被短路求值折磨过……吐个槽……
这都敲出代码来了，转用代码语言思考推理了这是
【 在 nuanyangyang 的大作中提到: 】
:
: 嗯。
: [code=c]
: ...................