主题:
字号:
16
行距:
2.0

三百三十四节 真或假[2 / 5]

?是通过检验穿孔卡是否穿孔,也就是说,分类机的每个读卡单元,能够判断复合命题中的一个简单命题的真假。同时,通过一个控制继电器,我们可以让每个读卡单元,判断仅有1个‘非’联结词的复合命题,也就是一个简单命题的非命题的真假。”

“假如我们仅有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个卡袋中的卡片合在一起,其结果为:p1∨...∨pk,即以p1为开头的连续‘或’运算;

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

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

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

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

命题B:‘地区码第2位不

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

老实窝囊直男怎么也万人迷了?
辣条泡饭
重生之狂暴火法
燃烧的地狱咆哮
重回十三岁,我让父亲身价千亿
步舞
华娱之我是一名历史片导演
炎定终生
祭祀百年,我成了部落先祖
山人有妙计
综影视之女配求生存
山海明月
第四天灾就没有正常的
中二的毒牙
王腾莫湘
三寸寒芒
绑架你选白月光,我消失你怎么悔疯了?
南昭雪
修罗剑尊王腾莫湘
三寸寒芒
天才降临,傅总,该你养娃了
宴礼
贼道
玉者王也
训犬师弱?可知何为二郎显圣真君
吃掉小杏仁
诸天之从水蟒开始
星河尽头
抗战:我的德械军团每月满编
用户41166932
大明:从边军开始覆明灭清
就爱啃鸡翅
重生2013:超级科技帝国
昭灵驷玉
小妻子太凶,陆爷把持不住了
兔旺旺
西游:长生仙族从五行山喂猴开始
贰林
三嫁阎君
王权月初
恶毒女配只想苟,权臣上钩了!爱疯了!
黛墨
星穹模拟:开局成为镜流竹马
这紫啧紫啧紫啧
迷彩旧梦又逢君
风骨柔情
唐末荒年:每日结算粮肉爆满仓
衣羊呢
龙珠:开局十二符咒,我无敌了
卜刀
随军?做梦呢!资本小姐来离婚的
火炎雷蕾
综影视:扮猪吃老虎还是真猪
琥珀色妖瞳
退婚?我是你惹不起的狂龙!
观鱼
我在唐朝当神仙
青木有信
狼牙:我成了史大凡的排长
执固
五行废灵根?我一灵石换一年修为
重头再来
六扇门第一悍捕
爆裂无声
原神:俺十四境开局被荧妹钓起?
一只肥沧源
没钱上大学的我只能去屠龙了
宇宙无敌水哥
离婚当天,前夫跪求我复合
棠梨
九星霸体决
平凡魔术师
只对你失控
渡清漪
边关小受,开荒养出女战神
皖南牛二
大周第一赘婿
天选之主
开局宠物店,幻兽全靠合成
老虎神
水浒魔星皆我资粮:从词条到王业
吃铁吐火屙秤砣
万色蝶会梦到电子猫吗
很困的马
离开豪门后,假千金轰动全球
云七七
知青年代:从人世间开始
瑞昌成
综影视:做她的裙下臣
夏栀秦
神陨之后:我在综影视世界当路人
恶霸蟑螂大王酱
我一杂役,怎么成掌门孩子他爹了?
三月雨
娇娇假千金随军认错老公后,禁欲军官沦陷了
甜茶vs
姑奶奶嫁到,通通闪开
香菜不吃折耳根呀
人间太岁神!
五方行尽