免费阅读
返回
菜单
上一章查看最新章节下一章

三百三十四节 真或假

作品:临高启明作者:吹牛者
如果本章错误,请点击报错10秒纠正

命题的真假。”

“假如我们仅有1个读卡单元,那么仅此而已。但是现在我们有10个读卡单元,所以事情要复杂一些。不过仍然是可以分析的。请大家注意,每个读卡单元侧面的卡袋,装入的卡片的特点:

k号卡袋中的卡片,是1~k-1号命题的‘非’命题的‘与’、再‘与’k号命题。

经过k号读卡单元的剩余卡片,是满足1~k号所判断的命题的‘非’命题的‘与’。

1~k号卡袋里面的卡片,合起来是满足1~k号所判断的命题的‘或’。

假设我们的读卡单元所判断的简单命题(或简单命题的非命题)为p1,p2,...,p10。

则我们所能够判断的命题表达式为:

1号卡袋:p1

2号卡袋:┐p1∧p2

3号卡袋:┐p1∧┐p2∧p3

4号卡袋:┐p1∧┐p2∧┐p3∧p4

...

10号卡袋:┐p1∧┐p2∧...∧┐p9∧p10

最终剩余卡片:┐p1∧┐p2∧...∧┐p10

最后由于这些卡片被彼此分开,所以我们最终可以自由选择任意多个卡袋的卡片合在一起,也就是上述表达式之间的‘或’;其中最重要的,是从1~k号的连续k个卡袋中的卡片合在一起,其结果为:p1v...vpk,即以p1为开头的连续‘或’运算;

而经过k号读卡单元后机器上剩余的卡片,可表示为┐p1∧...∧┐pk,即以┐p1为开头的连续‘与’运算。”

“所以,凡是能变换成上述形式表达式的命题,就是分类机能够查找的,否则,就是分类机不能查找的。”

“我给加奈出的问题,找出三亚大区除奴隶以外的卡片,可以分解成如下的简单命题或简单命题的非命题:

命题a:‘地区码第1位不为1’,

命题b:‘地区码第2位不为0’,

命题c:‘地区码第3位不为0’,

命题d:‘地区码第4位不为1’,

命题e:‘地区码第5位为1’,

命题f:‘地区码第5位不为2’

命题g:‘地区码第6位不为9’

命题h:‘地区码第7位不为9’

┐a∧┐b∧┐c∧┐d∧e,这是10011,三亚榆林,它符合5号卡袋的表达式,所以这些卡

…。。
   本章没完,请点击下—页继续阅读!如果被转码了请退出转码或者更换浏揽器即可。
  温馨提示:亲爱的读者,如果你觉得本站还好,为了避免丢失和转马,请勿依赖搜索访问,建议你使用[华为刘揽器]或[Firefox火狐刘揽器]访问并收蔵【礼乐书院】 m.lilegou.net。我们将会持续为你更新,还建议你注册会员使用书架功能追书阅读更方便。
上一页 1234下一页
上一章查看目录下一章
临时书架加入书签回顶部↑

看了《临高启明》的书友还喜欢看

半岛:从催收国民妹妹开始
作者:爱情不太顺
简介: 【一句话简介】:我只是去体验生活收个债,怎么就成了半岛女团的白月光?
更新时间:2026-10-26 21:53:00
最新章节:第322章 戛纳首映
单身就变强?我的快乐你想象不到
作者:布布快变身
简介: 苏阳回老家吃席,被七大姑八大姨围着催婚,头疼之际,突然绑定单身系统,只要他保持单身,...
更新时间:2026-10-26 22:04:16
最新章节:第403章 咖啡店发工资,偶遇俩精神小妹
抗美援朝:什么叫这是四合院世界
作者:安如华
简介: 重生1947年山东沂蒙顾家村张小山。\n系统觉醒——千里眼,顺风耳,身体敏捷强化,\...
更新时间:2026-10-26 22:00:16
最新章节:第178章 师部回电——灭国行动!
死掉五次后玩家成了海上亡妻白月光
作者:岫夕
简介: 推推预收《这里站不下八个老公这么多》,文案见下方

————...
更新时间:2026-10-26 22:00:00
最新章节:232 观影体16
三角洲:开局诛仙,棠舟第一武将
作者:待来日去山城
简介: 【三角洲行动+无敌+直播+打脸】\n棠舟电竞的‘兼职打手’辰安,因为付不起天价彩礼,...
更新时间:2026-10-26 22:00:11
最新章节:第611章 比狂?辰安没输过!
太古龙象诀
作者:旺仔老馒头
简介: 太古时代,强者如云,有妖族巨擘,仰天长啸吼碎域外星辰,有人族无上大能,挥手斩碎万古苍...
更新时间:2026-10-26 21:43:40
最新章节:430 战前准备
书名:

本站若有图片广告属于第三方接入,非本站所为,广告内容与本站无关,不代表本站立场,请谨慎阅读。

Copyright © 2020 礼乐书院 All Rights Reserved.kk

SiteMap