您身边的网站建设专家
成功案例

【建站服务】磁县400电话办理【磁县网站公司】磁县百度优化、磁县域名注册、磁县网店美工、磁县微信公众号托管-域名申请

日期: 2022-09-20 15:16:20 浏览数:2


上往建站提供服务器空间服务商百度快照排名网站托管百度推广运营,致力于设计外包服务与源代码定制开发360推广搜狗推广,增加网站的能见度及访问量提升网络营销的效果,主营:网站公司,百度推广公司电话,官网搭建服务,网站服务企业排名,服务器空间,英文域名等业务,专业团队服务,效果好。


磁县400电话办理【磁县网站公司】磁县百度优化、磁县域名注册、磁县网店美工、磁县微信公众号托管


磁县,隶属河北省邯郸市。古称磁州,是中国磁州窑文化的发祥地。位于中原经济协作区中心地带,晋、冀、鲁、豫四省通衢,与石家庄、郑州、太原、济南4个省会城市的距离均在200公里左右。 [1]  2019年,磁县辖11个乡镇,地域面积688平方公里,总人口50万人。地势西高东低,西部属太行山东麓,东部为山前冲积平原,山区、丘陵、平原各占三分之一。 [2] 

磁县自公元222年设县,迄今已1800多年。 [1]  磁县的旅游景点有鼓楼、贺兰山、河北纸马、磁州窑博物馆等旅游景点。盛产柿子、花椒、核桃、松花蛋等特产。

要开始对最小项的解释,首先要提到文字(literal),这里的文字要么为单个命题变量(比如p),要么为求反变量(比如我们一般会写为p 的NOT p)。如果真值表中有k 列表示变量的列, 那么每个最小项都是由k 个文字的逻辑AND(或“积”)表示的。设r 是我们想为其构建最小项的某一行。如果变量p 在行r 的值是1,就选择文字p。如果p 在行r 的值是0,则选择p 作为文字。行r 的最小项就是各变量对应文字的积。明确地讲,如果所有变量都有真值表行r 中的值,那么最小项的值就只可能是1。

现在要通过为与函数值为1的行对应的最小项求逻辑OR(或“和”),来为函数构建表达式。得到的表达式具有“积的和”的形式,或者说它是析取范式(disjunctive normal form)。该表达式是正确的,因为只有在存在值为1的最小项时,它的值才是1,而除非变量的值对应着真值表中该最小项所在的那行,而且该行的值为1,否则该最小项不可能为1。

示例 12.9

我们来为由图12-8中的真值表所定义的进位输出函数d 构建析取范式。值为1的行的编号分别是3、5、6和7。第3行有x=1、y=1和c=1,因此该行的最小项是overline{x} AND y AND c,可以将其简写为overline{x}yc。类似地,第5行的最小项是xoverline{y}c,第6行的最小项是xyoverline{c},而第7行的最小项是xyc。因此所需的对应d 的表达式就是这些表达式的逻辑OR,也就是

overline{x}yc+xoverline{y}c+xyoverline{c}+xyc      (12.6)

这一表达式要比(12.5)更复杂。不过,我们将在12.6节中看到如何得出表达式(12.5)。

同样,通过把对应第1、2、4和7行的最小项相加,可以为和值位z 构建逻辑表达式,得到

overline{x} overline{y}c+overline{x}yoverline{c}+xoverline{y} overline{c}+xyc

运算符的完全集

用来设计(12.6)式这样析取范式的最小项技术表明,逻辑运算符ANDORNOT的集合是完全集,就是说,每个布尔函数都具有只使用这3种运算符的表达式。不难证明NAND本身也是完全的。我们可以将涉及ANDORNOT的函数只用NAND表示成如下这样。

1. ( p AND q)≡(( p NAND qNAND TRUE)

2. ( p OR q)≡(( p NAND TRUE ) NAND (q NAND TRUE ))

3. ( NOT p)≡(p NAND TRUE)

通过用合适的NAND表达式来替换用到ANDORNOT的地方,可以把任何析取范式转换成只涉及NAND的表达式。同样,NOR自身也是完全的。

由运算符ANDOR构成的集合就不是完全集。比方说,它们没法表示函数NOT。要知道原因,我们可以注意到ANDOR都是单调的,这就是说,在把任何一个输入从0变为1时,输出都不能从1变成0。可以通过对表达式的大小进行归纳,证明任何只有ANDOR运算符的表达式都是单调的。不过NOT显然不是单调的,因此没办法只用ANDOR表示NOT

p

q

r

a

b

0

0

0

0

1

0

0

1

1

1

0

1

0

0

1

0

1

1

0

0

1

0

0

1

0

1

0

1

1

0

1

1

0

1

0

1

1

1

1

0

图 12-10 用于习题的两个布尔函数

12.5.3 习题

1. 图12-10是用变量pq 和r 定义a 和b 这两个布尔函数的真值表,为这两个函数分别写出析取范式。

2. 为下列函数写出合取范式(见下面的附注栏“和的积表达式”)。

(a) 图12-10中的函数a

(b) 图12-10中的函数b

(c) 图12-8中的函数z

和的积表达式

有两种方式可以把真值表转换成涉及ANDORNOT的表达式,这里的表达式将会是文字之和(逻辑OR)的积(逻辑AND)。这种形式就叫作“和的积”,或合取范式(conjunction normal form)。

对真值表的各行而言,我们可以定义最大项,它是与所在行中某一参数变量的值不相同的文字的和。也就是说,如果该行中变量p 的值是0,就使用文字p,如果那行中p 的值为1,就使用overline{p}。因此,除非每个变量p 都具有该行指定给p 的值,否则最大项的值就是1。

因此,如果查看真值表中值为0的各行,并为这些行的最大项取逻辑AND,该表达式就只会在输入匹配函数值为0的某一行时值为0。这样一来,该表达式对其他各行而言值都为1,也就是对真值表中函数值为1的那些行来说都是1。例如,图12-8的真值表中,第0、1、2和4行对应d 的值为0。比方说,第0行的最大项就是x+y+c,而第1行的最大项就是x+y+overline{c},所以d 的合取范式就是

(x+y+c)(x+y+overline{c})(x+overline{y}+c)(overline{x}+y+c)

该表达式与(12.5)和(12.6)式都是等价的。

3. ** 以下哪个逻辑运算符可以单独形成运算符完全集:(a)≡;(b)→;(c)NOR?在每种情况中都对自己的答案加以证明。

4. ** 在16个双变量的布尔函数中,有多少函数自身就是完全的?

5. * 证明,单调函数的ANDOR还是单调的。然后证明只含ANDOR运算符的表达式都是单调的。

12.6 利用卡诺图设计逻辑表达式

在本节中,我们要展示一种为布尔函数确定析取范式的制表技巧。用这种方法生成的表达式通常要比12.5节中通过为真值表中所有必要的最小项求逻辑OR这样的权宜之计所构建出的表达式更简单。

举例来说,在示例12.7中,我们为一位加法器的进位输出函数对应的表达式进行了专门设计。可以看到,有可能使用不是最小项的文字之积,也就是说,缺少与某些变量对应的文字。例如,可以用文字之积xy 来涵盖图12-8中的第(6)和第(7)两行,因为只有在变量xy 和c 具有这两行中的某一行所表示的值时,xy 的值才是1。

磁县400电话办理磁县网站公司磁县百度优化、磁县域名注册、磁县网店美工、磁县微信公众号托管


上往建站提供搭建网站域名注册官网备案服务网店详情页设计企业网店专业网络店铺管理运营全托管公司咨询电话,服务器空间,微信公众号托管网页美工排版,致力于域名申请竞价托管软文推广全网营销,提供标准级专业技术保障,了却后顾之忧,主营:虚拟主机网站推广百度竞价托管网站建设上网建站推广服务网络公司有哪些等业务,专业团队服务,效果好。

服务热线:400-111-6878 手机微信同号:18118153152(各城市商务人员可上门服务)


全国咨询热线:400-111-6878

地址:全国各地都有驻点商务

Copyright © 2021 通陆科技

网站建设上往建站