其合成的方式,我命题。”比如,‘这张卡片不是奴隶’,片是16简单命题合成,那么“复合们称之为‘联结词’。的人’,‘这张卡这是三个复合片是原籍福建或海南命题由一个或多个‘这张卡岁以上的男人’,
建的人’和‘这张卡否定,合成方式一简单命题的一种人’两个简单命题构隶’这16岁以上的人籍海命题,由‘这张卡片是;而第三个命题,个命题,是对‘个为‘真’时,复片是原’成,合成方式是‘与’,’两个简单命题构成,和‘这张卡片是男性,也就是两也就是两合成方式是‘或’时,复合命题为‘真’的任意一个简单命题同时为‘这张卡片是奴南的真’由‘这张卡片是原籍福“第一合命题为‘真’。”是‘非’;第二个个简单命题中
,这里个命题使之成为实还有另外两种,不过暂时与,或,非。其,我们有了联结多大命题的三种机的设计无关手段,与先略过。”更分类“所以
分类机项查询,真’的卡片达式。显然,令的作用,就是对用符号来表个表达式是否表达式为‘示命题和联结词,则为‘真都能表任何一所有卡片,判断这,就是“我们’。”示为一个表我们要寻找的卡片。而
的问题。”够判断真假判,“因此,凡是我们的分断‘真/假’的表达式解决的问题,凡的表达就是我们能够是我们的分类机无法类机能是我们不能解决式,就
这一问题的初步抽象。”“这就是我们对
倒过来的拉丁字母v(或冯诺),看起来像号和小于号,还有是旋转了90度的大于)、┐(非在黑板上写下了几的符号个奇怪l。)、∧(与
“好,现在可以写一下
原一命题的表达00,福建是122,‘式了,海南籍福建或海南的人’这所以我们令是1
:‘地区码第命题a1位为1’,
命题b:‘地区码第2位为0’,
为0’,命题c:‘地区码第3位
命题d:‘地区码第2位为2’,
位为2’,命题e:‘地区码第3
∧c)v(a∧‘(a∧则,复合命b题的表达式为:d∧e)’。”
电器,我卡单元,判断结词的复合仅有1个‘非’题的真假。同时穿孔,也就是说,分是如何判断真假的呢?单元,能够判断复联命题的非命类机的每个读卡是通过检验穿孔卡是否简单以让每个读合命题中的一个简单命题的真们可机“我们的分类命题,也就是一个,通过一个控制继假。”
情要复卡片的特点:,每个读卡单么仅此而已。但是请大家读卡单元,所以事侧面的卡袋,装入的注意杂一些。不过现在仍然是可以分析的。元我们有10个卡单元,那“假如我们仅有1个读
,是1~k-再‘与’k号命题。非’命题的‘与’、1号命题的‘k号卡袋中的卡片
经过k号余卡片‘非’命题的‘与’。所判断的命题的读卡单元的剩,是满足1~k号
或’。是满足1~k号片,合起来‘卡1~k号卡袋里面的所判断的命题的
元所判断的简单命题(或假设我们的读卡单简单命题的命题)为p1,p2,...,p10。非
则我们题表达式为:所能够判断的命
1号卡袋:p1
2号卡袋:┐p1∧p2
3号卡袋:┐p1∧┐p2∧p3
:┐p1∧┐44号卡袋p2∧┐p3∧p
1⯱∧┐p2∧...∧∧p10┐p90号卡袋:┐
∧┐p2∧...∧┐剩余卡片:┐p1最终
袋的卡片合在一起,也在一起,其结果为:p我们最终可以自意多个卡以p1为开头的连续‘1v...vpk,即或’运算;最后由于这些卡片被就是上述表达式之间的‘或’;其中最重要袋中的卡片合彼此分开,所以的,是从由选择任1~k号的连续k个卡
机器上剩运算。”余的卡片,可表...∧┐pk,即以为┐p1∧┐p1为开头的连续示而经过k号读卡单元后‘与’
是分类机不能查找够查找的,否则,就,就是分类机能换成上述形式表达式的命的。”题“所以,凡是能变
片,可以分解成如下的简单命题或简外“我给加奈出的问题单命题的非命题:的卡以,找出三亚大区除奴隶
命题a:‘地区码第1位不为1’,
命题b:‘地区码第2位不’,为0
:‘地区码第3位不为0’,命题c
命题d:’,‘地区码第4位不为1
位为1’,命题e:‘地区码第5
命题f:‘地区码第5位不为2’
位不为9命g:‘地区码第6’题
第7位不为9’地区码命题h:‘
5号卡袋的表达式,它┐a∧┐b∧┐c∧┐所以这些卡片位于符合d∧e,这是10011,三以记为p5。亚榆林,5号卡袋中,可
00128,的表达式,所可记为p7。卡9公社,它∧┐c∧┐d∧┐e以这些卡片┐a∧┐b袋符合7号位于7号卡袋中120~1┐f∧g,这是100∧,三亚田独11~8
合d∧┐e∧┐f290~100129式,所以8号卡袋的表达这些卡片位于8┐a∧┐b∧┐c∧┐∧┐g∧8,三亚田独90~98公社,它符,可记为p8。号卡袋中h,这是1001
即p7vp以解决。”因为这个表vp8,是我们所要的三亚田面的形,式,所以分类机可隶。三者全部合起来,即p5vp7达式符合我们上独,但不包括奴后两者合起来结果。8,是
v(a∧d∧e)’,论我们怎样变换,是当前的分类机所不能解决的。”‘(a∧b∧⛕“而成上述表式的,因而是达不能变换无
达式?”这时“好,问题来了,怎样变换表他看向了冯珊。
透出着迷的神色。布尔代数。”冯珊答道,“这是0和1的她的眼睛里
过听到布尔不知所和李加奈此前已经完全云了,不冯诺点点头,钱羽之代数,他们有点反应过来了。
0和1的俩最简单的布尔代数诺只教过他,以至于他们以为布尔代数就是冯布尔代数。
诺继续引导冯”“然后呢?。
足幂‘与’,并运算满足分配律!0-1布尔代数还满有补分是‘或’,求补是“布尔代数是、结合律、吸等律!”‘非’,满**换律配格!交运算是或’彼此收律,‘与’和‘
这是布尔代数的之和李加奈又理论部分,钱羽涂了。糊
“很好。”冯诺表扬了一句。
”性质,这补充说,“格的基本运律、分配律等等。在命是其自身。其表达否定算律只是‘与交换律、结合律、吸收“不过题逻辑里,还要考虑‘种运算之间的,包括非’的’和‘律,很显然,式的形式是一,双重或’两律、幂等里我暂时只说两点:其非命题,命题的非命题的,”他又
冯诺在黑板上写下:
┐┐aa;=
唉,就的合取的非,是两个命叫‘与或转换题的非的析表达式的形式两个命题的析取的律’吧,两个命题“其二,德……的非的合取。其非,是两个命题取;是”
他又写下:
b,┐(a∧b)=┐av┐
b。=┐a∧┐┐(avb)
,,“白了,‘不是16岁的人’举两个例子你们就明福建也就”不是原籍海南或意味着‘不是原籍海南的人原籍福建的人’。我也就意味着是‘16岁以以上的男人’人’;‘下的人’或‘女’并且‘不是
取范式。”这或’的变为析取范式和合表达式变换成各种形换,可以把逻辑命题的成连续‘与’的‘或‘与’,称’,或据式,不过,一般我者连续‘们会然后他继续说道,“根些运算律
不存在从设计上无法解在设计上存在局限性。找出原籍福建或类机海南的人’。,有了理论工具,我们如果分类机能式或者合取范式,就”决的问题了。比如‘就能“好够处理一般的析取范够发现,目前分
这就取项或者析取项的真单命题的真假电器的简单多个简单命题构成的合器的开关电一个简,而是能够判断电路,改造成包要求我们单元目前电器和1个控制继仅包括1个工作继单元,不是仅能判断含多个继电假。设计上,就是把读卡的每个读卡路。”分类机反映在“
你来组装个灯泡个开关都闭合,灯“经很熟悉电的羽之,你这段时间已。一一电路,要求‘只有2个有两个开关和泡才亮’。”路了
作台上有一大堆导的关,台下放着两个笨重器则角落里。旁的工,万的钟式电池他几种仪被丢在工作台用表和作台。工其线、继电器、灯泡和开冯诺指了指一
来到工作台前灯泡亮线,然后把灯泡在了一起。连入电路,了。接着,他把两个钱羽之熟练地开关用来,又和灯泡、电池连的正负极引出了忙活起来,他首先从电池导线连起导
冯诺让三名学生都是关都亮,如果有任意1个开关闭合时,灯泡才泡就熄灭。去试是断开的,灯一下,不是只有2个开
-------------------------------
-两广攻略篇61节下次更新:第七卷