手机浏览器扫描二维码访问
第840章 跟AI玩个游戏（第3页）
题目回顾
警察抓了四个嫌疑犯：张三、李四、王二、麻子，他们的供词如下：
?
张三：不是我偷的。
?
李四：是张三偷的。
?
王二：不是我。
?
麻子：是李四偷的。
已知他们中只有一人说了真话。问：谁是小偷？
?
ai推理逻辑
step
1：形式化四人的供词
我们先把他们的供词转成逻辑命题：
人物
供词内容
逻辑表达（t
=
真话，f
=
假话）
张三
“不是我”
?s（张三）
李四
“是张三”
s（张三）
王二
“不是我”
?s（王二）
麻子
“是李四”
s（李四）
其中
s（x）
表示“x是小偷”，?s（x）
表示“x不是小偷”。
?
北域时空 直播算命：你爹让你扔下水道了 等你一直等到老 异能太强，大佬被特殊部门收编了 遗笑苍天 穿越之异世女领主 开局就长生，可我咋是奴隶啊 大反派女魔头，前世居然是男的 系统沙雕我添堵，一身反骨离大谱 高中三年，无人知道我已觉醒 轮回塔 斩神：我道系青年，请个神合理吧 开局逃荒直接掀桌 海贼：从女帝开始，路飞持续崩溃 穿书七十年代，过好自己的日子 庶女当家日常 被废静心多年，你们才开始后悔？ 开局创建杀手组织，我威压诸天 三国：身为反贼，没有金手指 兽世溺宠：蛇蛇我啊，万龙之母
影后重生：厉先生撩妻成瘾
甜宠无虐＋日更＋萌宝＋智脑一个大佬和重生来的小媳妇甜蜜日常！一个娱乐小透明凭借智脑逆袭成超级影后的故事～...
美好生活从六零年代开始
...
大国工程
余庆阳一个搬砖二十年的老工程，梦回世纪之交，海河大学毕业，接老爸的班继续搬砖。用两辈子的行动告诉老师，搬砖不是因为我学习不好！是我命中注定要搬砖已有两本百万字完本书超级村主任最强退伍兵，可以放心入坑！大国工程书友群，群聊号码492691021新书重生之大国工匠...
总裁大人超给力
嫁给我，我可以替你报仇。陆白，亚洲第一跨国集团帝晟集团总裁，商业界最可怕的男人。传闻他身后有着最庞大的金融帝国，身边从未有过什么女人，传说他是夏儿想，管他呢，安心地做她的总裁夫人虐虐渣最好不过了。只是婚后生活渐渐地不一样了，看着报纸上帝晟总裁的采访，安夏儿方了你你你什么意思，不是说好我们隐婚的么老...
凌天至尊
最强系统，我就是最强！还有谁？叶风看着众多的天骄，脸色淡定无比！获得最强系统，经验可复制对方的功法神通，可升级功法神通品阶无所不能，唯有最强！碾压苍穹，打爆世间一切不服者！...
武林店小二
江湖日报讯肯麦郎连锁客栈享誉大明各府，其总部却是京城一家名为来福的小客栈。来福客栈在江湖上大名鼎鼎，即便费用高昂，上到各派掌门下到江湖游侠，都挤破脑袋想去来福客栈吃顿饭。记者有幸请到武林盟主，揭开来福客栈的秘密！来福客栈日常一幕少林方丈，你怎么吃饭不给钱啊？偶弥陀佛，出家人身无分文，这顿饭可否算作化缘？不行！武当掌门没钱吃饭，还在后院洗碗呢！你若不给钱，就去洗茅房！来福客栈日常二幕丐帮长老，瞧你样子就没钱吃饭，你来客栈干啥？听闻来福客栈可以拿东西抵押，我这里有本上乘的秘...