飘天文学

第840章 跟AI玩个游戏（第2页）

已知他们中只有一人说了真话。问：谁是小偷？

?

AI推理逻辑

Step1：形式化四人的供词

我们先把他们的供词转成逻辑命题：

人物

供词内容

逻辑表达（t=真话，F=假话）

张三

“不是我”

?S（张三）

李四

“是张三”

S（张三）

王二

“不是我”

?S（王二）

麻子

“是李四”

S（李四）

其中S（x）表示“x是小偷”，?S（x）表示“x不是小偷”。

?

Step2：枚举可能的说真话的人

我们知道只有一人说了真话，我们就枚举这四人谁说真话，其他三人说假话。

对每种情况，我们验证是否自洽。

?

case1：张三说真话

?张三：不是我→真话→张三不是小偷?

?李四：是张三→假话→张三不是?

?王二：不是我→假话→王二是小偷

?麻子：李四是→假话→李四不是?

只有王二是小偷，其余都不是，且只有张三说了真话

符合所有条件

?

case2：李四说真话

?李四：张三是→真话→张三是小偷

请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。

www.baquge.cc www.cwzww.com www.9kutxt.com www.shuhuangxs.com www.du8.org

相邻推荐:我的太公是神医  在超神杨卧起坐  难哄！年下影帝每天求贴贴  影帝家的小玫瑰  悦仙楼  画令天下  穿越万界之fate神父  盗墓：我，二白长子，炸了青铜门  玄幻，我的神器能进化  这就是龙之后裔的宿命吗  衍衍瑶台月  四合院：地窖往事  世子妃她手拿白月光剧本  冬夜的黑道生涯  遇见向阳的你  星际大佬在年代文里修仙  超级游戏登录器  直播算命太疯狂，鬼王夫君来帮忙  词条返还，一统天下从收徒朱元璋开始  直播算命，同妻被吃绝户