手机浏览器扫描二维码访问
第840章 跟AI玩个游戏（第3页）
题目回顾
警察抓了四个嫌疑犯：张三、李四、王二、麻子，他们的供词如下：
?
张三：不是我偷的。
?
李四：是张三偷的。
?
王二：不是我。
?
麻子：是李四偷的。
已知他们中只有一人说了真话。问：谁是小偷？
?
ai推理逻辑
step
1：形式化四人的供词
我们先把他们的供词转成逻辑命题：
人物
供词内容
逻辑表达（t
=
真话，f
=
假话）
张三
“不是我”
?s（张三）
李四
“是张三”
s（张三）
王二
“不是我”
?s（王二）
麻子
“是李四”
s（李四）
其中
s（x）
表示“x是小偷”，?s（x）
表示“x不是小偷”。
?
吞天仙根 神谕之十二生肖 崩坏：从西琳开始捕获小小律者 女将带球跑后，死对头一夜哭白头 我是赵梦凡 海贼：洛克斯时代第一剑豪！ 重回1978都市放牛 迷雾中的真相：侦探手记 开局校花太太向我道歉，东京末日 穿越兽世，日日扶腰求放过 开局表白女神，一剑震撼万族 夺我灵根骂我狠？先天绝情圣体已成！ 银镜通古今，侯府真千金带崽开挂了！ 尸之仙 重生后被亿万富豪逼婚，渣男傻眼 叶尘：重生在赘婿逆袭之路 穿越之异世奇遇迹 黑芒科技之途 盗墓：无故失忆后我直接发癫 玉孤
槐夏记事
本文无cp文案我变绿了，也变强了。 已有完结文青诡记事，孔方世界。 谢谢大家的支持，让我们做言情界的泥石流吧！...
都市寻艳录
身世坎坷历经沧桑人间情意究竟为何物？妈妈是什么？奶奶是什么？姑姑婶婶又是什么？也许，都是女人罢了。你们给了我们生活的必须，但是她们没有给我们家庭的温暖，因此从理智上我们应该感激你们的，可是感情上很多时候是会出现偏差的。我喜欢熟女喜欢年龄稍大的女人当然是女人我都会喜欢当然是那种好女人...
无敌从满级属性开始
穿越成修真世界的一个废柴，那还修你妹的真？一道七彩霞光之后，杨真直接吊炸天了！他看过的功法，直接满品满级，学都学不完！他炼制的丹药，不但起死回生，还能青春永驻！他锻造的武器，上打神王大帝，下捅黄泉幽狱，每一件都让天地颤栗，让神魔退避！我杨真从不装逼，因为我真牛的一批！一群542062672（已满）二群...
军少娇宠：未来大小姐
军少娇宠未来大小姐由作者绵绵妙创作全本作品该小说情节跌宕起伏扣人心弦是一本难得的情节与文笔俱佳的好书919言情小说免费提供军少娇宠未来大小姐全文无弹窗的纯文字在线阅读。...
天才狂少
一个本来庸才的学生，在一次奇遇后，居然成为傲世天才，他发现自己的身世居然是而后面还有天大的阴谋...
巫师再临
超凡力量回归，巫师也从历史的尘埃中再度降临，站在超凡力量回归的浪潮顶端，沙兰于尘埃和无数位面之中寻找巫师的真意，总有一天，真正的巫师将再临世间。...