将本站设为首页
收藏文坛官网,记住:www.1went.net
账号:
密码:

文坛书院:看啥都有、更新最快

文坛书院:www.1went.net

如果你觉得好,恳请收藏

您当前的位置:文坛书院 -> 临高启明 -> 三百三十四节 真或假

三百三十四节 真或假

温馨提示:如果本章属于内容错误等情况,请点击下面的按钮发送报告,我们会在一分钟内纠正,谢谢

命题的真假。”

“假如我们仅有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号卡袋的表达式,所以这些卡


  本章未完,请点击下一页继续阅读!

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

邪修不语,只一味给万物加点!
作者:买个窗帘
简介: 深山玄牝,真修难藏丑秽之形。幽室香躯,佳人陡变温柔之质。欲用万寿仙朝万年寿,成就仙人...
更新时间:2025-12-27 03:41:39
最新章节:第107章 谈判、火候、回镇暗杀
边疆小斥候
作者:陈火火
简介: 穿越古代大乾,因频繁打仗,男丁紧缺,陈北被迫成为官府送亲队的一员。

更新时间:2025-12-27 04:22:18
最新章节:第一卷 第310章 广陵王妃,宋氏!
今天也没有被顾客吃掉
作者:围城外的钟
简介: 穿越到奇幻异世界,陆维成为了一名【奸商】。起初,他小打小闹,深入各个冒险地摆摊,为冒...
更新时间:2025-12-27 03:05:00
最新章节:第240章 降临
北宋:我真的只想被贬官啊!
作者:下雨啦收衣服啊
简介: 坏消息:穿越北宋,家徒四壁!好消息:觉醒【贬官致富系统】,只要被贬,就能享受生活!<...
更新时间:2025-12-27 02:47:14
最新章节:道歉,前面三章全部删除重写。
美漫:完蛋,我被父愁者包围了!
作者:我是金三顺
简介: 我叫林方,年龄二十二,是一名穿越者,现在的身份是米国堪萨斯州一个农民。
更新时间:2025-12-27 02:16:12
最新章节:第一千二百三十九章 有个女孩,她的世界因你而延续
华娱:重生了,还逼我做渣男啊
作者:跳水蛙蛙
简介: 好消息:重生回到了2004。坏消息:没有系统。

好消息:刚...
更新时间:2025-12-27 02:50:00
最新章节:第六百六十二章 难道你不怕别人都听见吗?