手机浏览器扫描二维码访问
第840章 跟AI玩个游戏（第3页）
题目回顾
警察抓了四个嫌疑犯：张三、李四、王二、麻子，他们的供词如下：
?
张三：不是我偷的。
?
李四：是张三偷的。
?
王二：不是我。
?
麻子：是李四偷的。
已知他们中只有一人说了真话。问：谁是小偷？
?
ai推理逻辑
step
1：形式化四人的供词
我们先把他们的供词转成逻辑命题：
人物
供词内容
逻辑表达（t
=
真话，f
=
假话）
张三
“不是我”
?s（张三）
李四
“是张三”
s（张三）
王二
“不是我”
?s（王二）
麻子
“是李四”
s（李四）
其中
s（x）
表示“x是小偷”，?s（x）
表示“x不是小偷”。
?
轮回塔 系统沙雕我添堵，一身反骨离大谱 海贼：从女帝开始，路飞持续崩溃 穿越之异世女领主 庶女当家日常 遗笑苍天 被废静心多年，你们才开始后悔？ 兽世溺宠：蛇蛇我啊，万龙之母 直播算命：你爹让你扔下水道了 高中三年，无人知道我已觉醒 等你一直等到老 异能太强，大佬被特殊部门收编了 穿书七十年代，过好自己的日子 开局逃荒直接掀桌 开局创建杀手组织，我威压诸天 北域时空 斩神：我道系青年，请个神合理吧 三国：身为反贼，没有金手指 大反派女魔头，前世居然是男的 开局就长生，可我咋是奴隶啊
影后重生：厉先生撩妻成瘾
甜宠无虐＋日更＋萌宝＋智脑一个大佬和重生来的小媳妇甜蜜日常！一个娱乐小透明凭借智脑逆袭成超级影后的故事～...
大话之神
一个热爱网络游戏的痴孩子，二不垃及的真神祝愿下进入了游戏的世界。。。。。。...
漫兽竞技场
一个集合口袋妖怪，数码宝贝等等游戏，动漫的游戏正式登陆全球，谁才是最强的训练家，谁才是游戏里最强的宠物，且看罗炎称霸漫兽竞技场，一步一步从无名小卒爬上神坛。...
特种岁月
男人一辈子最值得骄傲的事里包括服一次役，当一回特种兵，和世界上最强的军人交手。还有，为自己的祖国奉献一次青春，为这片热土上的人民拼一次命。这些，庄严都做到了。（此书致敬每一位曾为国家奉献过青春，流过血洒过汗的共和国军人！读者群号764555748）...
事业脑咸鱼在八零
...
传奇篮神
一个浑浑噩噩的少年，在阳台吹风不小心掉了下去，死过一次的他，决定开始改变，故事从这里开始，他就是林浩...