手机浏览器扫描二维码访问
第840章 跟AI玩个游戏（第3页）
题目回顾
警察抓了四个嫌疑犯：张三、李四、王二、麻子，他们的供词如下：
?
张三：不是我偷的。
?
李四：是张三偷的。
?
王二：不是我。
?
麻子：是李四偷的。
已知他们中只有一人说了真话。问：谁是小偷？
?
ai推理逻辑
step
1：形式化四人的供词
我们先把他们的供词转成逻辑命题：
人物
供词内容
逻辑表达（t
=
真话，f
=
假话）
张三
“不是我”
?s（张三）
李四
“是张三”
s（张三）
王二
“不是我”
?s（王二）
麻子
“是李四”
s（李四）
其中
s（x）
表示“x是小偷”，?s（x）
表示“x不是小偷”。
?
梦幻西游：大唐弃徒，成就史一法 武夫李青舟，要问剑仙李太白 仙集 爱丽丝综合征 军人军医，办公室恋情？ 导演我要举报！她跑龙套还开挂！ 意外得到空间后金手指带我闯末日 带着猴哥游异界 快穿：拯救反派，本系统亲自下场 隔壁那个帝少 末世，给异类收编 引凰归帝凰临：炼丹契兽倾世女帝 我在乡下当村医 重生1990，带着全村人发家致 他如焰藏匿我心 和校花解散后，契约灵兵皆S级 他的Freesia 温婉沧海 你和我的苏打水情缘 哭包竹马爱哭还难哄
一念成婚：傅少追妻很卖力
一念成婚傅少追妻很卖力简介emspemsp关于一念成婚傅少追妻很卖力痴缠了他，叶千黎惹上了不该惹的男人，再相遇，缘分是天定！几番纠缠，叶千黎被那个腹黑的男人壁咚，叶太太，还想往哪跑？喂喂喂，我对你没兴趣！叶千黎俏目一瞪，话音未落...
超凶的客服
陆岩得到神级客服系统，每天都有不同世界的人来找陆岩求助，斧头帮的星仔，凌凌漆，林平之，慕容复，叶孤城，白素贞，孙悟空，少司命，绿巨人金刚狼还有异形哥斯拉侏罗纪恐龙狂蟒从此陆岩的生活乱套了。如果您喜欢超凶的客服，别忘记分享给朋友...
我有一枚合成器
我有一枚合成器简介emspemsp关于我有一枚合成器即使是最普通的物品，也能合成出强大的宝物。钢笔钢笔合成巧思钢笔效果拥有独立思维的神奇钢笔。介绍你已经是一只成熟的钢笔了，该学会自己写字了。魔兽血液瓶子合成53号小红瓶效...
抗战之开局让少帅下跪
抗战之开局让少帅下跪简介emspemsp关于抗战之开局让少帅下跪穿越到1925年，成为从西点军校D国军事学院毕业的张大帅第二子张宗卿。偶获超级军工设计系统，各式超时代武器纷纷涌现。彼时，时局维艰，华国尚未一统。世界格局风云涌变，华国在二公子的带领下自此复兴，傲立于世。首发44b44comωoо1⒏υip...
超绝透视
超绝透视简介emspemsp超绝透视是红糖水的经典都市言情类作品，超绝透视主要讲述了青年苏阳意外得到透视眼，也因此解决部门解散的危机，得到美女上红糖水最新鼎力大作，年度必看都市言情。禁忌书屋提供超绝透视最新章节全文免...
末日骑士系统
末日骑士系统简介emspemsp您好，尊敬的骑士团长。死亡的钟声已经敲响，末日的脚步越来越近，来自异世界的骑士们正等待着您的召唤，向您献出自己的忠诚与热血。世间万物都要遵循守恒定律，因此尊敬的骑士团长，您需要以神秘的能量来...