手机浏览器扫描二维码访问
第840章 跟AI玩个游戏（第3页）
题目回顾
警察抓了四个嫌疑犯：张三、李四、王二、麻子，他们的供词如下：
?
张三：不是我偷的。
?
李四：是张三偷的。
?
王二：不是我。
?
麻子：是李四偷的。
已知他们中只有一人说了真话。问：谁是小偷？
?
ai推理逻辑
step
1：形式化四人的供词
我们先把他们的供词转成逻辑命题：
人物
供词内容
逻辑表达（t
=
真话，f
=
假话）
张三
“不是我”
?s（张三）
李四
“是张三”
s（张三）
王二
“不是我”
?s（王二）
麻子
“是李四”
s（李四）
其中
s（x）
表示“x是小偷”，?s（x）
表示“x不是小偷”。
?
神谕之十二生肖 叶尘：重生在赘婿逆袭之路 夺我灵根骂我狠？先天绝情圣体已成！ 开局校花太太向我道歉，东京末日 黑芒科技之途 我一身神功全靠努力，给我变身！ 徒儿快下山，你师姐等不及了 夫人算卦缺灵力，亲口冷面侯爷加气运 我是赵梦凡 兵王在地府的甜蜜生活 玉孤 女将带球跑后，死对头一夜哭白头 迷雾中的真相：侦探手记 鬼怪奇谭：兵王与小仙女 重生后被亿万富豪逼婚，渣男傻眼 穿越兽世，日日扶腰求放过 尸之仙 混沌疯魔 黄帝内经百姓版 万星吞天诀
上瘾甜妻：帝少深深爱
...
太古剑尊
并指青云，气吞幽冥。大道交错，剑者独尊。这是一个人和一把剑的故事！红尘三千丈，琉璃染天香。群雄共逐鹿，剑尊掌苍黄。剑的真谛，万年之秘，以血海无涯重铸登天之路，以亿万枯骨再炼剑道经书。一切尽在太古剑尊。...
三胞胎死后，我嫁给了渣前夫他小叔
老公小青梅养的狗害两岁女儿得了狂犬病送医。渣老公却为了救他的小青梅和三只狗，延误了救女儿的黄金时间最终惨死医院。同一时间，婆婆的不看管，致使家里的大宝小宝溺死游泳池中。安抒抒痛失三个孩子，一夜白了头。从此，她褪下过去无用的温婉懂事，将自己磨炼成锋利见血的利刃，一刀一刀将恶人凌迟。葬礼上，缺失父爱的孩子们，到死也没等到父亲来送他们一程。于是，她在婆婆的尖叫声中，当场为渣老公举办葬礼。并当着亲朋好友面，果断为死去的孩子们当场换爹！小叔，你愿意做我孩子们的爹吗？小她三岁的小叔哭成狗，我愿意！多年后，渣前夫悔不当初历经艰辛找到她，看到她怀里的三胞胎愕然他们是我的孩子？你既然怀孕了，当初为什么要和我离婚？年轻帅气的小叔从屋里走出来亲了亲老婆，又一把抱过儿子女儿，在渣前夫震惊的眼神中冷冷回道你儿子女儿？做梦吧你，这三个是你堂弟堂妹！注姐弟恋＋双洁！...
晚明
...
琴帝
九叠琴音震寰宇，谁敢闻言不识君？七色魔法代等级，雄雄揭大幕。琴之帝王，给这片大陆带来翻天覆地的改革。伴随着旷古绝今的赤子琴心的出现，一代琴魔法师，在碧空海之中悄然诞生。这将是一个单纯的少年，逐渐成为琴中帝王的故事，开创音乐魔法的先河，颠覆以往的设定，赤橙黄绿青蓝紫，彩虹等级将成为所有武技和魔法衡量的标准。原本仅仅是...
超神宠兽店
万订爆款，火爆爽文有一刀斩杀黄金巨龙的低等骷髅种有身怀十大宠兽秘技的看门土狗更有自称为神的打工妹这是一个得到系统开店，在破碎远古培育宠兽的故事。当荣光覆灭，血脉逆流，昔日的存在将再度回归，一切都是毁灭！...