手机浏览器扫描二维码访问
第840章 跟AI玩个游戏（第3页）
题目回顾
警察抓了四个嫌疑犯：张三、李四、王二、麻子，他们的供词如下：
?
张三：不是我偷的。
?
李四：是张三偷的。
?
王二：不是我。
?
麻子：是李四偷的。
已知他们中只有一人说了真话。问：谁是小偷？
?
ai推理逻辑
step
1：形式化四人的供词
我们先把他们的供词转成逻辑命题：
人物
供词内容
逻辑表达（t
=
真话，f
=
假话）
张三
“不是我”
?s（张三）
李四
“是张三”
s（张三）
王二
“不是我”
?s（王二）
麻子
“是李四”
s（李四）
其中
s（x）
表示“x是小偷”，?s（x）
表示“x不是小偷”。
?
穿越之异世奇遇迹 开局校花太太向我道歉，东京末日 我是赵梦凡 崩坏：从西琳开始捕获小小律者 夺我灵根骂我狠？先天绝情圣体已成！ 叶尘：重生在赘婿逆袭之路 海贼：洛克斯时代第一剑豪！ 银镜通古今，侯府真千金带崽开挂了！ 开局表白女神，一剑震撼万族 吞天仙根 迷雾中的真相：侦探手记 盗墓：无故失忆后我直接发癫 重生后被亿万富豪逼婚，渣男傻眼 玉孤 尸之仙 神谕之十二生肖 重回1978都市放牛 穿越兽世，日日扶腰求放过 黑芒科技之途 女将带球跑后，死对头一夜哭白头
种田山里汉：神医美娇娘
已完结，新书求支持！小神医魂穿女尊王朝，原主臭名昭著，残暴不仁，身后留下一堆烂摊子。家徒四壁，茅屋漏雨，粮缸又已见了底。面对美貌的夫君，又瞅瞅丑不拉叽的自己，她狂奔在一条通往钢牙小白兔的康庄大道上！敢觊觎她夫君？揍，没有拳头解决不了的事情！如果有，那就接着揍！穷？医术，香粉，布艺，美食，酒庄，生意做起来，铺子开...
阴娘
18岁那年，我娘被我爹打死，然后我爹娶了个和我一样大的后娘进门。7天后，我娘爬出棺材，敲开了我父亲的门欢迎关注我的微博大家看的时候记得先登陆（QQ号直接登陆就可以了！）然后点一下封面下面的推荐按钮！加更规则200个钻石加一更！单独打赏两个玉佩加一更！一个皇冠加五更！关键词阴娘最新章节阴娘小说阴娘全文阅读...
从超神学院开始的穿越日常
作为普通人的许易穿越到神学院的世界，表示压力山大！然而许易意外激活身体里的无限系统，得而穿越各种不同的幻想世界，影视，动漫，小说一切应有尽有。许易面色淡漠，仰视苍天，忽然开口我要这天，再遮不住我眼。我要这地，再埋不了我心。要这众生，都明白我意。要那诸佛，全都烟消云散。苍天mdzz，老子招你惹你啦！...
穿越大周(武唐风流)
李逸飞，大唐前太子李贤之子，因其父被武则天毒害，从小就被逍遥老人收养，十年之后，学艺有成的李逸飞下山报仇，最后经过与武则天的一番较量终于将女皇降服，成功光复李唐江山，揽江山美人于一身，享受人间帝王之风流。...
魔神艳游
...
发个微信去天庭
当秦奋手机微信摇出了天庭朋友圈，他发现自己的人生变了，但天庭的变化更惊悚。想要金点子，行，拿东西来换，我不挑食。超市，串串香，等一系列熟悉的东西对原有的天庭造成了冲击。秦奋看着天庭的物产，发现自己似乎要发了。种田，数钱，好多事要做。我是先吃蟠桃呢，还是九转金丹。签已过，人品嘛，我很有节操可以吗？求点求收求票票，求包...