第二章:布尔代数及其应用(不同的展开方式)

合集下载

布尔代数PPT课件

布尔代数PPT课件

15
第15页/共17页
• PP 624 •

•练 习 9, 10(a)(c)
5/27/2021 8:30 AM
16
第16页/共17页
感谢您的观看!
5/27/2021 8:30 AM
Deren Chen, Zhejiang Univ.
17
第17页/共17页
9
第9页/共17页
• 对偶原理(Duality Principle)
Hale Waihona Puke • 设P、Q是限定性命题公式。如果

P
Q
•则

P *
Q*
例:A: (P ∧ Q) ∨ Q B: P ∨ Q
5/27/2021 8:30 AM
10
第10页/共17页
• 进一步的思考: • 二、命题公式的进一步分类。
命题公式的标准化-----范式
5/27/2021 8:30 AM
8
第8页/共17页
• 限定性命题公式: 最多仅含有否定、析取、合 取逻辑联结词的命题公式。
• 命题公式P的对偶公式(Dual):将P中的 • 析取联结词换成合取联结词, • 合取联结词换成析取联结词, • T换成F,F换成T(如果存在的话)。 • 记为P*
5/27/2021 8:30 AM
5/27/2021 8:30 AM
3
第3页/共17页
Table 4
5/27/2021 8:30 AM
4
第4页/共17页
• 基本逻辑等价定理:

对于任意的命题公式p、q、r,下面的命题公式是等价的。
5/27/2021 8:30 AM
5
第5页/共17页

第2章布尔代数基础

第2章布尔代数基础

第2章 布尔代数基础 2.1 逻辑代数基础
1. 逻辑函数符号
如前所述,逻辑函数是由“与”、“或”、“非”三种最基 本的逻辑运算构成。为了象表示电阻、电容和三极管一样,用图 形化的方式表示不同的逻辑函数,美国国家标准学会( the American National Standards Institute, ANSI )和美国电气与电 子工程师协会(the Institute of Electrical and Electronic Engineers, IEEE) 在1984年制定了一个逻辑函数符号标准。如 图2-1所示。
第2章
布尔代数基础
2.1 逻辑代数基础 2.1.1 逻辑代数的基本概念 2.1.2 逻辑函数 2.1.3 逻辑代数的公理、定理和规则 2.1.4 逻辑表达式的基本形式 2.1.5 逻辑函数的标准形式 2.1.6 逻辑函数表达式的转换 2.2 逻辑函数的化简 2.2.1 代数化简法 2.2.2 卡诺图化简法
第2章 布尔代数基础 2.1 逻辑代数基础
在数字逻辑中使用逻辑函数研究逻辑电路从两个方面进行: 一方面是在对某一个具体的逻辑电路进行分析,使用逻辑 函数写出它的表达式,分析逻辑函数即分析相应的逻辑电路;
另一方面是使用逻辑函数进行逻辑电路的设计。 逻辑电路的设计要求一般是用文字表述的。根据文字表述, 使用设计方法进行逻辑电路设计,得到的是按要求设计的逻辑 电路的逻辑函数。最后根据逻辑函数画出按要求设计的逻辑电 路。 因此,逻辑函数是逻辑电路分析和设计的重要数学工具。
“异或”运算表达式与“同或”运算表达式有如下关系: A ⊕ B = A ⊙ B,A ⊙ B = A ⊕ B
第2章 布尔代数基础 2.1 逻辑代数基础
2.1.2逻辑函数

布尔代数的关系表示及应用

布尔代数的关系表示及应用

布尔代数的关系表示及应用布尔代数是一种逻辑代数,用于描述和分析逻辑关系和运算。

它以英国的数学家George Boole的名字命名,被广泛应用于计算机科学、电子工程和数理逻辑等领域。

本文将介绍布尔代数的关系表示和应用,并探讨其在实际问题中的应用。

一、布尔代数的关系表示布尔代数中的基本运算包括与、或、非三种,分别用符号∧、∨和¬表示。

在关系表示中,我们使用布尔代数的运算符和关系符号来表达不同的逻辑关系。

1. 与运算与运算表示两个命题同时成立的关系。

在布尔代数中,与运算使用逻辑运算符∧表示。

例如,若命题A为真,命题B为假,则A∧B为假。

与运算还可以表示集合的交集操作,用于求解共同满足一组条件的元素。

2. 或运算或运算表示两个命题中至少一个成立的关系。

在布尔代数中,或运算使用逻辑运算符∨表示。

例如,若命题A为真,命题B为假,则A∨B为真。

或运算可以用于集合的并集操作,用于求解满足一组条件中任意一个条件的元素。

3. 非运算非运算表示一个命题的否定关系。

在布尔代数中,非运算使用逻辑运算符¬表示。

例如,若命题A为真,则¬A为假。

非运算可以用来求解排除某一条件的元素。

二、布尔代数的应用布尔代数在各个领域广泛应用,下面将介绍其中几个主要应用领域。

1. 电子电路设计布尔代数在电子电路设计中起着重要的作用。

通过使用与、或、非等逻辑运算符,我们可以设计出逻辑门电路,并通过连接多个逻辑门实现复杂的逻辑功能。

布尔代数的运算规则和定律对电路设计的优化和简化起着重要的指导作用。

2. 程序设计布尔代数在程序设计中用于控制程序流程和逻辑运算。

通过使用布尔变量和逻辑运算符,我们可以实现条件判断、循环控制等功能,并实现复杂的算法和逻辑运算。

布尔代数的规则和定律也可以帮助程序员优化代码的效率和可读性。

3. 布尔检索布尔检索是一种信息检索的方法,用于在大量文档中快速查找满足特定条件的文档。

通过使用布尔运算符和关系运算符,我们可以组合多个检索条件,实现对文档集合的精确匹配或排除。

布尔代数法则

布尔代数法则

Shannon扩展定理
–Shannon扩展定理T15:(展开定理 ) F(X1,X2, … ,Xn)= X 1· F(1, X 2, … ,Xn)+X1’· F(0, X2, … ,Xn) T15’ : F(X1,X2, … ,Xn)= [X1+F(0, X 2, … ,Xn)] · [X 1’ +F(1, X2, … ,Xn)] – 例:利用展开定理证明包含律 F=AB+A'C+BC =A?(1?B+0?C+BC)+A'?(0?B+1?C+BC) =A(B+BC)+A'(C+BC)=AB+A'C
布尔代数
• 布尔代数(开关代数、逻辑代数) • 它是一个封闭的代数系统,它可记为:
L={K,+,・, ̄,0,1} 其中K表示逻辑变量集;+表示"或"运算,・表示" 与"运算, ̄表示"非"运算; 0和1表示常量,又表示自变量的定义域,又是函数 的值域。
• 公理:Leabharlann A1:X=0 if X≠1 A1':X=1 if X≠0 A2:if X=0,then X’ =1 A2’ :if x=1,then X’ =0 A3:0· 0=0 A3’ :1+1+1 A4:1· 1=1 A4’ :0+0=0 A5:0· 1=1· 0=0 A5’ :0+1=1+0=1
2和3变量布尔代数定理
•2和3变量的定理
– 交换律T6:X+Y=Y+X T6’ :X· Y=Y· X – 结合律T7: (X+Y)+Z=X+(Y+Z) T7’ : (X· Y) · Z=X· (Y· Z) – 分配律T8:X· Y+X· Z=X· (Y+Z) T8’ : (X+Y) · (X+Z)=X+Y· Z – 吸收律T9:X+X· Y=X T9’ :X· (X+Y)=X – 并项律T10:X· Y+X· Y’ =X T10’ : (X+Y) · (X+Y’ )=X – 包含律T11:XY+X’ Z+YZ=XY+X’ Z T11’ : (X+Y)(X’ +Z)(Y+Z)=(X+Y)(X’ +Z)

1.3布尔代数

1.3布尔代数
与-或表达式 或-与表达式
例如:举重运动员试举成功由 名裁判来裁定 名裁判来裁定。 例如:举重运动员试举成功由3名裁判来裁定。当3名裁 名裁 判中有2名或 名以上举牌时,才认定该运动员试举成功。 名或2名以上举牌时 判中有 名或 名以上举牌时,才认定该运动员试举成功。 名裁判举牌认可事件, 设A、B、C为3名裁判举牌认可事件,当裁判举牌认可, 、 、 为 名裁判举牌认可事件 当裁判举牌认可, 其值为1,否则为0; 其值为 ,否则为 ; F为运动员试举成功事件,其值为1,成功;否则为 。则 为运动员试举成功事件,其值为 ,成功;否则为0。 为运动员试举成功事件
定律的证明
1. 用已经证明过的定律 例1:吸收率证明 A+A · B =A · 1+A · B =A · (1+B) =A · 1=A A · (A + B) = A · A+A · B = A + AB =A 推广: 推广:A +ABC = A A+AB = A+B +
A· 1 =A
分配律: 分配律
是指当某个逻辑恒等式成立时, 所谓对偶规则,是指当某个逻辑恒等式成立时,其对偶 式也一定成立。 式也一定成立。 例如: 例如: A + B · C · D = (A+B)(A+C)(A+D) 其对偶式为: 其对偶式为 成立, 成立,
A · (B + C + D) = AB + AC + AD
显然也是成立的。 显然也是成立的。
F=ABC+ABC+ABC+ABC =AB+AC+BC
化简后的最简与- 化简后的最简与-或表达式
AB AC BC

2第二章布尔代数基础

2第二章布尔代数基础
6
第2章 逻辑函数及其简化
表 2 – 1 与逻辑的真值表 (a) A 假 假 真 真 B 假 真 假 真 F 假 假 假 真 A 0 0 1 1 B 0 1 0 1 (b) F 0 0 0 1
A
B
E
F
图 2 – 1 与门逻辑电路实例图
7
第2章 逻辑函数及其简化
由表2 - 1可知,上述三个语句之间的因果关系属于与 逻辑。 其逻辑表达式(也叫逻辑函数式)为:
2
第2章 逻辑函数及其简化
2.1 逻辑代数
2.1.1 基本逻辑 逻辑运算是逻辑思维和逻辑推理的数学描述。 具有“真”与“假”两种可能,并且可以判定其 “真”、 “假”的陈述语句叫逻辑变量。一般用英文大 写字母A,B, C, …表示。例如,“开关A闭合着”, “电灯F亮着”, “开关D开路着”等均为逻辑变量,可 分别将其记作A,F,D; “开关B不太灵活”, “电灯 L价格很贵”等均不是逻辑变量。
两变量的“异或”及“同或”逻辑的真值表如表2 - 4所 示。
表 2-4 “异或”及“同或”逻辑真值表 A 0 0 1 1 B 0 1 0 1
F = A⊕ B
0 1 1 0
F = A⊙ B 1 0 0 1
30
第2章 逻辑函数及其简化
反函数的定义:对于输入变量的所有取值组合,函数 F1和F2的取值总是相反,则称F1和F2互为反函数。记作:
非运算的运算规则是:
0 =1

1=0
16

第2章 逻辑函数及其简化
2.1.2 基本逻辑运算
1. 逻辑加(或运算) 逻辑加(或运算)
P = A+ B
逻辑加的意义是A或B只要有一个为1,则函数值P就为1。它表 示或逻辑的关系。在电路上可用或门实现逻辑加运算,又称为或运 算。运算规则为: 0+0=0 0+1=1 A+0=A

布尔代数在开关电路中的应用

布尔代数在开关电路中的应用

7、布尔代数在开关电路设计中地应用.开关是一种具有一个输入和一个输出地器件,我们将若干个开关地串联与并联构成地电路称为开关电路(Switching Circuits).整个开关电路从功能上可看作是一个开关,把电路接通记为1,把电路断开记为0.而开关电路中地开关也要么处于接通状态,要么处于断开状态,这两种状态也可以用二值布尔代数来描述.一个具有n个独立开关组成地开关电路称为n元开关电路.整个开关电路是否接通完全取决于这些开关地状态以及连接方式(串联、并联或反相),因而可以这些开关地函数.称这样地函数为开关函数(Switching Function),可以写成一个二值n元布尔式,称为线路地布尔表达式.线路布尔式地构造原则:串联对应布尔式中地积,并联对应布尔和,反相对应布尔补.接通条件相同地线路称为等效线路,两个开关电路是等效地,当且仅当它们对应地开关函数是等价地.找等效线路地目地是化简线路,使线路中包含地接点尽可能地少.利用布尔代数可设计一些具有指定性质地节点线路,数学上即是按给定地真值表构造相应地布尔表达式(最后经过适当地简化),理论上涉及到范式理论,但形式上并不难构造.这样就可以设计出符合要求地开关电路.例1 在举重比赛中,通常设三名裁判:一名为主裁,另两名为副裁.竞赛规则规定运动员每次试举必须获得主裁及至少一名副裁地认可,方算成功.裁判员地态度只能同意和不同意两种;运动员地试举也只有成功与失败两种情况.举重问题可用逻辑代数加以描述:用A、B、C三个逻辑变量表示主副三裁判:取值1表示同意(成功),取值0表示不同意(失败).举重运动员用L表示,取值1表示成功,0表示失败.显然,L由A、B、C决定.L为A、B、C地逻辑函数.列表如下,该表称为逻辑函数L地真值表:从真值表可看出L取值为1只有三项,A、B、C地取值分别为101、110、和111三种情况L才等于1.A*B*C、A*B*C、A*B*C三项与上述三种取值对应.由于上述三种情况之一出现就可判定L成功,故L=(A*B*C)⊕(A*B*C)⊕(A*B*C)=(A*B*C)⊕(A*B*C)⊕(A*B*C)⊕(A*B*C)=(A*C)⊕(A*B)=A*(C⊕B)根据上述布尔式来设计就可以得到举重裁判地控制电路.其中K1由主裁控制,K2和K3分别由两个副裁控制.8、布尔代数在逻辑线路设计中地应用.开关是一种只有一个输入地器件.对于多输入单输出地情形则就要用逻辑门电路来实现.逻辑门电路可以用来做“与”、“或”、“非”等逻辑运算.电子数字计算机芯片里使用成千上万个微小地逻辑部件,它们都是由各种布尔逻辑元件—逻辑门和触发器组成地.同时一个逻辑门地输出可以用为另一个逻辑门地输入.因此由逻辑元件可以组成各种逻辑网络,这样任何复杂地逻辑关系都可以由逻辑元件经过相应地组合来实现,使其具有复杂地逻辑判断功能.这样得到地逻辑电路可以用一个布尔式表示.通过对逻辑电路所对应地布尔式进行化简,我们就能分析电路有功能,并简化电路,既降低成本又提高可靠性.图论1、图论地历史.图论以图为研究对象地数学分支.图论中地图指地是一些点以及连接这些点地线地总体.通常用点代表事物,用连接两点地线代表事物间地关系.图论则是研究事物对象在上述表示法中具有地特征与性质地学科.在自然界和人类社会地实际生活中,用图形来描述和表示某些事物之间地关系既方便又直观.例如,国家用点表示,有外交关系地国家用线连接代表这两个国家地点,于是世界各国之间地外交关系就被一个图形描述出来了.另外我们常用工艺流程图来描述某项工程中各工序之间地先后关系,用网络图来描述某通讯系统中各通讯站之间信息传递关系,用开关电路图来描述IC中各元件电路导线连接关系等等.事实上,任何一个包含了某种二元关系地系统都可以用图形来模拟.由于我们感兴趣地是两对象之间是否有某种特定关系,所以图形中两点之间连接与否最重要,而连接线地曲直长短则无关紧要.由此经数学抽象产生了图地概念.研究图地基本概念和性质、图地理论及其应用构成了图论地主要内容.图论地产生和发展经历了二百多年地历史,大体上可分为三个阶段:第一阶段是从1736年到19世纪中叶.当时地图论问题是盛行地迷宫问题和游戏问题.最有代表性地工作是著名数学家L.Euler于1736年解决地哥尼斯堡七桥问题(Konigsberg Seven Bridges Problem).东普鲁士地哥尼斯堡城(现今是俄罗斯地加里宁格勒,在波罗地海南岸)位于普雷格尔(Pregel)河地两岸,河中有一个岛,于是城市被河地分支和岛分成了四个部分,各部分通过7座桥彼此相通.如同德国其他城市地居民一样,该城地居民喜欢在星期日绕城散步.于是产生了这样一个问题:从四部分陆地任一块出发,按什么样地路线能做到每座桥经过一次且仅一次返回出发点.这就是有名地哥尼斯堡七桥问题.哥尼斯堡七桥问题看起来不复杂,因此立刻吸引所有人地注意,但是实际上很难解决.瑞士数学家(Leonhard Euler)在1736年发表地“哥尼斯堡七桥问题”地文章中解决了这个问题.这篇论文被公认为是图论历史上地第一篇论文,Euler也因此被誉为图论之父.欧拉把七桥问题抽象成数学问题---一笔画问题,并给出一笔画问题地判别准则,从而判定七桥问题不存在解.Euler是这样解决这个问题地:将四块陆地表示成四个点,桥看成是对应结点之间地连线,则哥尼斯堡七桥问题就变成了:从A,B,C,D任一点出发,通过每边一次且仅一次返回原出发点地路线(回路)是否存在?Euler证明这样地回路是不存在地.第二阶段是从19世纪中叶到1936年.图论主要研究一些游戏问题:迷宫问题、博弈问题、棋盘上马地行走线路问题.一些图论中地著名问题如四色问题(1852年)和Hamilton环游世界问题(1856年)也大量出现.同时出现了以图为工具去解决其它领域中一些问题地成果.1847年德国地克希霍夫(G.R.Kirchoff)将树地概念和理论应用于工程技术地电网络方程组地研究.1857年英国地凯莱(A.Cayley)也独立地提出了树地概念,并应用于有机化合物地分子结构地研究中.1936年匈牙利地数学家哥尼格(D.Konig)写出了第一本图论专著《有限图与无限图地理论》(Theory of directed and Undirected Graphs).标志着图论作为一门独立学科.第三阶段是1936年以后.由于生产管理、军事、交通运输、计算机和通讯网络等方面地大量问题地出现,大大促进了图论地发展.特别是电子计算机地大量应用,使大规模问题地求解成为可能.实际问题如电网络、交通网络、电路设计、数据结构以及社会科学中地问题所涉及到地图形都是很复杂地,需要计算机地帮助才有可能进行分析和解决.目前图论在物理、化学、运筹学、计算机科学、电子学、信息论、控制论、网络理论、社会科学及经济管理等几乎所有学科领域都有应用.2、平面图和印刷电路板地设计.有时候,实际问题要求我们把图画在平面上,使得不是节点地地方不能有边交叉,这在图论中就是判断一个图是否是平面图地问题.像印刷电路板(Printed Circuit Board,PCB)(单层印刷电路板,多层印刷电路板)几乎会出现在每一种电子设备中.PCB地主要功能是提供上头各项零件地相互电气连接.随着电子设备越来越复杂,需要地元件越来越多,PCB上头地导线与元件也越来越密集了.板子本身地基板是由绝缘隔热、不易弯曲地材料制作而成.在表面可以看到地细小线路材料是铜箔,原本铜箔是覆盖在整个板子上地,而在制造过程中部份被蚀刻处理掉,留下来地部份就变成网状地细小线路了.这些线路被称作导线或布线,并用来提供PCB上元件地电路连接.因此在设计和制造印刷电路板时,首先要解决地问题是判定一个给定地电路图是否能印刷在同一层板上而使民线不发生短路?若可以,怎样给出具体地布线方案?将要印刷地电路图看成是一个无向简单连通图G,其中顶点代表电子元件,边代表导线,于是上述问题归结为判定G是否是平面图?若G是平面图,由怎样给出它地一个平面表示来?平面图地判断问题,在数学上已由波兰数学家库拉托夫斯基(Kuratowski) 于1930年解决.库拉托夫斯基定理给出地充要条件看似简单,但实现起来很难.但是许多研究拓扑图论地数学家提出了比较有效地图地平面性判定地准则,如DMP方法以就是其中地一个有代表性方法.3、图地着色和四色问题.图地着色起源于“四色问题”.四色问题又称四色猜想,是世界近代三大数学难题之一.四色问题是说画在纸上地每张地图只需要用4种颜色就能使具有共同边界地国家不会有相同地颜色.用数学语言表示,就是将平面任意地细分为不相重迭地区域,每一个区域总可以用1,2,3,4这四个数字之一来标记,而不会使相邻地两个区域得到相同地数字.这里所指地相邻区域,是指有一整段边界是公共地.如果两个区域只相遇于一点或有限多点,就不叫相邻地.因为用相同地颜色给它们着色不会引起混淆.四色猜想地提出来自英国.1852年,毕业于伦敦大学地格思里(F.Guthrie)来到一家科研单位搞地图着色工作时,发现了一种有趣地现象:“看来,每幅地图都可以用四种颜色着色,使得有共同边界地国家都着上不同地颜色.”这个现象能不能从数学上加以严格证明呢?他和在大学读书地弟弟格里斯决心试一试.兄弟二人为证明这一问题而使用地稿纸已经堆了一大叠,可是研究工作没有进展.1852年10月23日,他地弟弟就这个问题地证明请教了他地老师、著名数学家德·摩尔根(De Morgan),摩尔根也没有能找到解决这个问题地途径,于是写信向自己地好友、著名数学家汉密尔顿爵士(W.R. Hamilton)请教.汉密尔顿接到摩尔根地信后,对四色问题进行论证.但直到1865年汉密尔顿逝世为止,问题也没有能够解决.起初,这个问题并没有引起数学家们地注意,认为这是一个不证即明地事实.但经过一些尝试之后,发现并不是那么回事.1878年,英国当时最著名地数学家凯利(A. Cayley)正式向伦敦数学学会提出了这个问题,于是四色猜想成了世界数学界关注地问题.世界上许多一流地数学家都纷纷参加了证明四色猜想地大会战.1878~1880年两年间,著名地律师兼数学家肯普(Kempe)和泰勒(Taylor)两人分别提交了证明四色猜想地论文,宣布证明了四色定理,大家都认为四色猜想从此也就解决了.但是后来人们发现他们都错了.后来,越来越多地数学家虽然对此绞尽脑汁,但一无所获.于是,人们开始认识到,这个貌似容易地题目,其实是一个可与费马大定理相媲美地难题.不过肯普地证明虽然失败了,但它在证明中提供地思想和方法仍然是后来许多数学家冲击四色问题地基础.美国数学家富兰克林于1939年证明了22国以下地地图都可以用四色着色.1950年,有人从22国推进到35国.1960年,有人又证明了39国以下地地图可以只用四种颜色着色;随后又推进到了50国.但是这种推进仍然十分缓慢.电子计算机问世以后,由于演算速度迅速提高,加之人机对话地出现,大大加快了对四色猜想证明地进程.1976年6月,美国伊利诺大学地阿佩尔(Appel)、哈肯(Haken)和柯齐(Koch)三人合作编制了一个程序,在美国伊利诺斯大学地两台不同地电子计算机上,用了1260个小时,作了100多亿次逻辑判断,给出了四色猜想证明,轰动了世界.这是一百多年来吸引许多数学家与数学爱好者地大事,当两位数学家将他们地研究成果发表地时候,当地地邮局在当天发出地所有邮件上都加盖了“四色足够”地特制邮戳,以庆祝这一难题获得解决.“四色问题”地被证明不仅解决了一个历时100多年地难题,而且成为数学史上一系列新思维地起点.在“四色问题”地研究过程中,不少新地数学理论随之产生,也发展了很多数学计算技巧.如将地图地着色问题化为图论问题,丰富了图论地内容.不仅如此,“四色问题”在有效地设计航空班机日程表、设计计算机地编码程序上都起到了推动作用.不过不少数学家并不满足于计算机取得地成就,他们认为应该有一种简捷明快地书面证明方法.直到现在,仍由不少数学家和数学爱好者在寻找更简洁地证明方法.4、运输网络.自从克希霍夫运用图论从事电路网络地结构分析以来,网络理论地研究和应用就越来越广泛.特别是近几十年来,电路网络、运输网络、通讯网络等与工程和应用密切相关地课题受到了高度地重视.无自回路地有向赋权图称为网络(Network).在一个网络中,有向边上地权称为容量(Capacity).网络中入度为0地结点称为源(Source),用字母s表示;出度为0地结点称为汇(Trap),用字母t表示.在某些问题,只考虑有单一源和单一汇地网络(即运输网络),而在另一些问题中(如通讯网络),根本就不考虑源和汇.运输网络地实际意义可以用公路网、铁路网、和供水系统、电网等来说明,也就是“货物从产地s,通过若干中转站,到达目地地t”这类情形地一般模型.这里将源和汇分别看成是货物地产地和目地地,其他结点是中转站,有向边是连接两站地道路(公路、铁路、水管或电线等),容量则是某一段道路允许地通行能力地上限.在运输网络中要考虑地是从源到汇地实际流通量,显然它与每条有向边地容量有关,也和每个结点地转运能力有关.对运输货物来讲,除了容量之外,每条边还被赋予一个非负实数,这一组数若满足以下条件:单位时间内通过每条道路运送地货物总量不能超过道路地容量;每一个中转站地流入量等于流出量;源地流出量等于汇地总流入量(即网络地流量(Discharge)).则称这组数为该运输网络地一个流(Flow).一个运输网络中具有可能地最大值地流称为最大流.在一个运输网络中,可能不止一个最大流,即可能有几个不同地流,都具有最大值.给定运输网络求其最大流地问题,就是怎样使给定网络在单位时间运输量最大地问题,并且确定当网络地流量最大时地流.最大流问题地解决显然在现实生活中有很重大地应用价值.5、通讯网络.网络应用地另一重要方面是通讯网络,如电话网络、计算机网络、管理信息系统、医疗数据网络、银行数据网络、开关网络等等.这些网络地基本要求是网络中各用户能够快速安全地传递信息,不产生差错和故障,同时使建造和维护网络所需费用低.通讯网络中最重要地整体问题是网络地拓扑结构.根据用途和性能指标地不同要求,通讯网络有不同地拓扑结构,如环形网络、树形网络、星形网络、分布式网络、网状网络及混合型网络等等.通讯网络是一个强连通地有向图.除了网络地拓扑结构之外,通讯网络还要考虑流量和控制问题、网络地可靠性等问题.图论中地连通度在通讯网络中有着重要地应用,是大规模互连容错网络可靠性地有效性分析地基础.当然网络地可靠性涉及地因素很多,但是从通讯网络作为一个强连通地有向图来说,一个具有最佳连通性地网络就不易出现阻碍问题.6、二元树地应用----前缀码(哈夫曼编码).在通讯系统中,常用二进制来表示字符.但由于字符出现地频率不一样以及为了保密地原因,能否用不等长地二进制数表示不同地字符,使传输地信息所用地总码元尽可能少呢?但是不等长地编码方案给编码和译码带来了困难.为了解决这个问题,我们引入了前缀码(哈夫曼编码).设ab…cd为一个长为n地字符串,则a,ab,…,ab…c分别为它地长为1,2,…,n-1地前缀(Prefix).设A是一个字符串集,若其中地任一字符串都不是其它字符串地前缀,则称A为一个前缀码(哈夫曼编码)(Prefixed Code).若组成A地字符串地只有字符0和1,则称A为二元前缀码(Binary Prefixed Code).如{000,001,01,10,110,111}是一个二元前缀码,而{000,001,01,10,11,111}不是一个二元前缀码.那么如何构造一个二元前缀码并用它进行编码和译码呢?我们利用二元树来产生一个二元前缀码:1 构造一棵二元树,树根地左侧用0标记,右侧用1标记;2 分支点v地左侧(右侧)地标记就是标记v地二进制数最右端加上0(1);3 任一片树叶地标记串不是其它树叶地标记串地前缀;4 将所有树叶地标记串取来就可构成一个二元前缀码.然后对要发送地信息中地每个字符分别用这个二元前缀码中地字符串代表,当然应该用越长地字符串代表出现频率越最低地字符串.当接收方接到发送方发过去地信息(实际上是二进制位组成地一个序列),他也将按照那棵标记过地二元树来进行译码,还原出真正地信息.过程如下:接收方一边接收一边译码,从第一个接收地二进制位开始,按接收到地是0还是1,分别从当前结点地左子树和右子树往下走.如果遇到一片树叶,说明已得到一个字符地码元.从下一个接收地位开始又从根结点起重复上述过程.如我们由一棵二元树得到一个二元前缀码{010(确),011(实),11(爱),10(我),00(你)}对应地二元树,现将下列二进制串“101100100100111100”译码.译码地结果是:10,11,00,10,010,011,11,00.翻译成中文就是“我爱你,我确实爱你.”版权申明本文部分内容,包括文字、图片、以及设计等在网上搜集整理.版权为个人所有This article includes some parts, including text, pictures, and design. Copyright is personal ownership.4B7a9。

布尔代数

布尔代数

6-4 布尔代数一、复习分配格,有界格,有补格二、布尔格定义6-4.1 一个有补分配格称为布尔格。

三、布尔代数由于布尔格中,每个元素a都有唯一的补元a,因此可在A上定义一个一元运算—补运算“”。

这样,布尔格可看作具有两个二元运算和一个一元运算的代数结构,习惯上称它为布尔代数,记为<A, ∨,∧,>。

定义6-4.2 由布尔格<A,≤>,可以诱导一个代数系统<A, ∨,∧,>,这个代数系统称为布尔代数。

举例:253页例1布尔代数中补运算的性质定理6-4.1 对于布尔代数中任意两个元素a,b∈A,必定有①()a a=②a b a b∨=∧③a b a b∧=∨后两式称为格中德·摩根律。

四、布尔代数中运算的性质前已指出,布尔代数是有补分配格。

对任意a,b,c∈A,有① <A, ≤>是格,≤为A上的偏序关系,运算∨,∧满足(A-1) a∨b=lub{a,b}, a∧b=glb{a,b}(A-2) a≤b⇔a∨b=b⇔a∧b=a(A-3) a∨a=a, a∧a=a (等幂律)(A-4) a∨b=b∨a, a∧b=b∧a (交换律)(A-5) (a∨b) ∨c=a∨(b∨c),(a∧b)∧c=a∧(b∧c) (结合律)(A-6) a∨ (a∧b)=a,a∧ (a∨b)=a (吸收律)② <A, ≤>是分配格,满足(B-1) a∨ (b∧c)=(a∨b) ∧ (a∨c),a∧ (b∨c)=(a∧b) ∨ (a∧c) (分配律)(B-2) (a∨b=a∨c)∧(a∧b=a∧c)⇒b=c(B-3) (a∨b) ∧ (b∨c) ∧ (c∨a)=(a∧b) ∨ (b∧c) ∨ (c∧a)③ <A, ≤>是有界格,满足(C-1) 0≤a≤1(C-2) a∨0=a,a∧a=a (幺律)(C-3) a∨1=1,a∧0=0 (零律)④ <A, ≤>是有补格,满足(D-1) 1,0∨=∧=(互补律)a a a a(D-2) 10,01==⑤ <A, ≤>是有补分配格,满足 (E-1)()a a = (E-2) a b a b ∨=∧,a b a b ∧=∨ (德·摩根律)(E-3) a ≤b ⇔a’ ∨b=1⇔a ∧b’=0⇔b’≤a’注意,上述公式并非都是独立的,可从中选出一些公式作为基本公式,用它们推出其余的公式,而且可以用基本公式定义布尔代数。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

第二章:布尔代数及其分析数字电路基于排列组合与数字集合论,和数理逻辑有一定距离。

在逻辑函数的计算方面,使用数理逻辑的非计算,能够化简布尔表达式。

布尔逻辑代数引进数字电路,与命题的真假判断有区别,因此逻辑函数用数字函数描述更有广泛的内涵:既包括逻辑计算也包括组合功能.英国数学家布尔的研究导致逻辑代数的出现,并被命名为布尔代数。

逻辑代数给数字电路建立二值逻辑模型,可进行具体数字系统的分析和设计,并在此基础上化简运算,得到数字系统的最优实现方法.使用布尔代数还可以揭示不同逻辑函数之间的相互关系,很清楚的发现这些逻辑函数所对应的具体数字电路之间的转换关系,根据实际需要灵活选择,实现不同数字电路的互换.§1.布尔代数系统的基本内容布尔代数系统建立在集合{0,1}上的运算和规则。

布尔代数的基本定律用恒等式的形式表示,包括代入,反演,对偶,展开四个基本运用规则,主要用来解决逻辑函数的变换与化简. 1布尔代数系统简介数字函数表达式:12(,,...,)n Y F A A A =,其中:12,,...,n A A A 称为输入变量,Y 叫做输出变量,F 称为逻辑函数,表示基本逻辑运算或复合逻辑运算。

def1在二值集{0,1}E =中,逻辑变量取值为0或1,称为布尔变元或变量。

注:布尔变元可用大写字母,也可用小写字母表示,但是一定要保持一致性。

def2从n E 到E 的函数被称为n 度布尔函数,其中n E =011{,,...,,,01}n i x x x x E i n -<>∈≤≤- 说明:n 度布尔函数与n 元组逻辑函数是一个概念,定义域是()n In E 。

2布尔代数的基本运算和复合运算表1:布尔代数与,或,非运算真值表说明:①与运算表示只有全部输入变量都为1时,输出变量为1;其它输入变量组合,得到得输出都为0。

②或运算表示只有全部输入变量都为0时,输出变量为0;其它输入变量组合,得到得输出都为1。

③非运算是一元逻辑函数,实现集合的求补运算,输出变量的值是输入变量相对全集E 的补元.01;10.==从真值表1可见,与,或运算有相同之处,函数值的划分集合中,两个子集形式相同:一个子集有三个输入序偶,另一个子集只有一个序偶元素.引入补元概念后,可以研究输入序偶之间的关系.建立与,或运算可能存在的对应关系,用到复合运算,见下表;分析:与运算的1划分子集和或运算的0划分子集的关系:110,000(1)A B A B A B ⋅=+=⇒⋅=+==。

这个式子在其它三个序偶也成立,即与运算的0划分子集和或运算的1划分子集也符合这个关系式。

从或运算出发可得:001,1.11(0)A B A B A B +==⇒+=⋅==,从A =B =1可得上一个关系式。

这里描述的是补元之间的关系。

另一个常用的复合逻辑:与或非运算的表达式()()Y A B C D A B C D =⋅+⋅=+⋅+。

布尔函数的表达式的成分包括:变元和布尔运算。

def3变元011,,...,n x x x -的布尔表达式的递归定义: 1)0110,1,,,...,n x x x -是布尔表达式2)若B 1和B 2是布尔表达式,则11212,,B B B B B ⋅+是布尔表达式。

3布尔代数的公理和恒等式def4一个布尔代数是一个集合{0,1}E =,它有两个二元运算,+⋅(布尔和,布尔乘积),以及一个一元运算(补),且对E 中的任意变量A ,B ,C ,D ,…,下列性质成立:表3布尔代数的公理和基本公式0-1律 01= 10=0A A +=1A A ⋅=11A +=0A A ⋅=互补律 1A A += 0A A ⋅=还原律 A A =重叠律 ...A A A A +++=...A A A A ⋅⋅⋅=交换律 A B B A +=+A B B A ⋅=⋅结合律 ()()A B C A B C ++=++ ()()A B C A B C ⋅⋅=⋅⋅ 分配律 ()A B C A C B C ⋅+=⋅+⋅()()()A B C A B A C +⋅=+⋅+反演律 A B A B +=⋅A B A B ⋅=+ 吸收律 A A B A +⋅=()A A B A ⋅+=A AB A B +⋅=+ ()A A B A B ⋅+=⋅ A B A B A ⋅+⋅=()()A B A B A +⋅+=()()A B A C A B C +⋅+=+⋅()A C B C A B C ⋅+⋅=⋅+...A B A C B C D A B A C ⋅+⋅+⋅⋅⋅=⋅+⋅()()(...)()()A B A C B C A B A C +⋅+⋅++=+⋅+注①:0-1律,互补律,还原律,重叠律被认为是基本定律。

②:任何变量的取值集合都能被补元对{,}A A 划分。

从上表可以得到一些结论,发现一些问题,现排列见下: ①与式包含在每一个子项中,或式包含每一个子项。

②有两个不同运算符号的化简式,一般产生于两级对称运算的复合。

③因为补运算的存在,单输入集,双输入集与多输入集中元素的关系,各输入集之间的关系。

④笛卡尔积的关系,还有集合的包含关系对布尔代数的影响。

⑤能否用集合论解释布尔代数,例如表达式A A B A B +⋅=+的集合论解释。

若能,则集合论就成为布尔代数的元理论。

⑥上述公式的若使用序偶表达形式,有什么不同?有数字代数么?⑦A A B A +⋅=&()A A B A ⋅+=,从中可以发现A 作为中间变元,也有相对全集1的作用。

这些问题的解答在第二节。

4逻辑代数中的基本定理代入定理:用于扩展公式或证明逻辑等式 Th1代入定理在等式两边都含有变量X 的逻辑等式中,若将式中所有出现X 的地方都用另一个函数Y 代替,则等式仍然成立.代入定理是复合计算的一种方法.可用多元组取代序偶,使在单输入集,双输入集上成立逻辑等式,在双输入集也可成立. 对偶定理:用于逻辑恒等式。

序偶对的一一映射,与组合公式。

def5对偶式对于任一个逻辑表达式Y ,若将其中的”+”变”⋅”, ”⋅”变”+”,1变0,0变1,并保持原来的逻辑优先级不变,则得到一个新的表达式Y `,就叫做Y 的对偶式. Th2对偶定理两个逻辑式相等,它们的对偶式相等.反演定理:用于快速获取逻辑函数的反函数。

这里的反函数与逻辑的逆运算不同,因此与数学里的反函数不同,与集合论中相对全集的求补运算同构。

Th3反演定理121212(,,...,,,)(,,...,,,)(,,...,,,)n n n Y F A A A F A A A F A A A =+⋅⇒+⋅=⋅+说明:任何逻辑的反函数,可通过变量与常量求反,”+”与”⋅”互换得到. Th3.1狄.摩根定理A B A B +=⋅,A B A B ⋅=+展开定理:证明等式或展开函数函数展开成最小项之和,最大项之积的形式 Th4展开定理设逻辑函数12(,,...,)n Y F A A A =,则有:121212(,,...,)(,,...,1,...,)(,,...,0,...,)n i n i n Y F A A A A F A A A A F A A A ==+和 121212(,,...,)[(,,...,0,...,)][(,,...,1,...,)]n i n i n Y F A A A A F A A A A F A A A ==+⋅+证明:i A 取值为0和1,等式F F F =+仍然成立.11&01i i i i A A F F F A A F F F =⇒⋅=⋅==⇒⋅=⋅=,证得.第二个式子同理可证. 5逻辑函数及其表示方法 def6最大项与最小项.1字母:一个字母即一个布尔变量或它的补码。

.2乘积项:一个乘积项为一个或几个字母的逻辑乘(与)。

.3和项:一个和项为一个或几个字母的逻辑或。

.4积之和(与-或式):一个积的和即几个乘积项的逻辑或。

.5和之积(或-与式):一个和的积即几个或项的逻辑与。

.6笛卡尔积或幂的一个元素。

能构成最大项,最小项,异或项。

.7文字:布尔变元或其补称为文字。

.8最小项:n 元逻辑函数,在函数的某个乘积项中每个变量仅仅出现一次,或以原变量,或以反变量的形式,这种乘积项称为最小项,用m i 表示。

即:布尔变元12,,...,n x x x 的最小项是一个布尔积12...,..n i i i i y y y y x or y x ⋅⋅⋅==。

因此最小项是n 个文字的积,每个文字对应一个变元。

.9最大项:在n 元函数的某个和项中每个变量仅仅出现一次,或以原变量,或以反变量的形式,这种和项称为最大项,用M i 表示。

最小项的性质①n 个变量有2n 个最小项,编号为(0,1,...,21)n i m i =-②任意输入组合,只有一个最小项的值为1,I 为使其值为1的那组变量组合对应的十进制数。

③全体最小项之和为1。

④任意二最小项之积为0。

最大项的性质:①n 个变量有2n 个最大项,编号为(0,1,...,21)n i M i =-②任意输入组合,只有一个最大项的值为0,i 为使其值为0的那组变量组合对应的十进制数。

③全体最大项之积为0。

④任意二最大项之和为1。

说明:输入的n 元组既可表示最大项又表示最小项,或者其余逻辑表达式。

方法一:布尔表达式def7函数的标准形式(范式)全部由最小项的和组成的与-或式i m ∑和全部由最大项之积组成的或-与式i M ∏,称为n 元逻辑函数表达式的两种标准形式,前者简称为SOP(Sum of Products)式,前者简称为POS(Product of Sums)式:i j ij iY m M ≠==∑∏证明:i iY m =∑=1,则10j j iY m ≠==∑。

根据反演定理,11j j j i j iY m M Y ≠≠====∑∏.说明:构成函数式时,最大项与最小项对应项的组合方式不同。

同一个函数的与-或表示与或-与表示的异同:从证明中可知一个函数的与-或式决定的项与或-与式决定的项分属不同的划分子集.若都表示1函数值,分别用与-或式与或-与式表示.证明并不困难,但是怎样理解就不很直接了,需引进格的概念.这里有一个疑问:有或-与式,为什么没有或-或式呢?表示逻辑函数有两步:①区分不同的输入排列②组合不同的输入项,构成1划分子集和0划分子集.在与-或式,或-与式中,通过补运算,用变量与补变量的排列,就能够区分不同的输入,这一步对或-或式也成立.然而, 或-或式在复合运算中,因为吸收律的存在,各分项不能保持完整性,不能区分不同的输入.因此使用或-或表示必须增加表示组合选择的新的输入项,以函数y A B AB AB =⊕=+为例,分析见下:函数值1划分集是<0,1>,<1,0>组合,用或-或式选择<0,1>,可得,def8蕴涵,质蕴涵与必要质蕴涵.1合并项:任何单个最小项或最小项组的允许组合称为一个输出函数的蕴涵,隐含项,合并项。

相关文档
最新文档