第八章 格与布尔代数

合集下载

第8章 布尔代数与逻辑电路

第8章  布尔代数与逻辑电路

2
冶金工业出版社
高等学校21世纪计算机教材 高等学校布尔表达式与布尔函数 设A={0,1}.所谓布尔变元x,是指变元x仅从A中取值.从到A的函数被称 为n度布尔函数,其中An是集合{(x1,x2,…,xn∣∈A,1≤i≤n.布尔函数的值通 常用表来表示. 8.1.3 格 定义8-1:给出一个部分序集(L,≤).如果对于任意,L的子集{}在L中都 定义 : 有一个最大下界,(记为a∧b=glb(a,b))和一个最小上界,(记为 a∨b=lub(a,b)),则称(L,≤)为一个格,可写为(L,∧,∨).若L中 元素有限,则称L为有限格.
8
(c)逻辑符号
冶金工业出版社
高等学校21世纪计算机教材 高等学校21世纪计算机教材 21
2. D型触发器 型触发器 D型触发器是在R-S触发器的基础上再加一些与非门组 成的.
RD
0 1 1 1
SD
1 0 1 1
CP
X X
D
X X 0 1
Q
0 1 0 1
Q
1 0 1 0
↑ ↑
(a)真值表
(b)逻辑符号
定义8-2: 定义 :设L是一个集合,×,⊕是L上两个二元代数运算.如果这两种运 算对于L中元素满足: (1)交换律:a×b=b×a , a⊕b = b ⊕a (2)结合律:a×(b×c)=(a×b) ×c , a ⊕(b ⊕ c)=(a ⊕ b) ⊕ c (3)吸收律:a×(a ⊕b )=a , a ⊕ (a× b )=a 则称此代数系统(L, ×,⊕ )为一个格. 定理8-1: 定理 :定义8-1所定义的格与定义8-2所定义的格是等价的,这就是说, 一个部分序格必是一个代数格;反之亦然.
(a) )
(b) )

布尔代数

布尔代数

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 的次序图如下
6 2 1 3 2
1 3 6
若 < L; > 是一个偏序集,则对于任意元素 l1, l2, l3 L,有以 下六个关系式成立: l1 l1 若 l1 l2,l2 l1,则 l1 = l2 若 l1 l2,l2 l3,则 l1 l3 l1 l1 若 l1 l2,l2 l1,则 l1 = l2 (7-1) (7-2) (7-3) (7-1) (7-2)
60以上说明与格一样布尔代数也是一个代数系统该代数系统可取交换律分配律同一律和互补律作为公二元运算是一元运算若这些运算满足交换律分配律同一律和互补律则称称作集合代数它是一个布尔代数
第二部分 抽象代数
0
第七章
格和布尔代数
格是 Birkhoff (1884 - 1944) 在 20 世纪 30 年代提出的,格的提出 以子集为背景。 历史上最初出现的格是英国数学家 George Boole 于 1854 年提出 的,是他在研究命题演算中发现的,通常称为布尔格或布尔代 数。 格和布尔代数的理论成为计算机硬件设计和通讯系统设计中的 重要工具。格论是计算机语言的指称语义的理论基础。格是一 种特殊的偏序集,也可以看作是有两个二元运算的代数系统, 布尔代数是一种特殊的格。在保密学、开关理论、计算机理论 和逻辑设计以及其他一些科学和工程领域中,都直接应用了格 与布尔代数。 1
7.2 格及其性质
一、格的定义
定义7-5 设 < L; > 是一个偏序集,如果 L 中任意两个元素都 存在着最大下界和最小上界,则称 < L; > 是格。 由于每对元素的最大下界和最小上界唯一,故引入记号: l1 l2 = glb(l1, l2),l1 l2 = lub(l1, l2), 其中 和 均可看作是集合 L 上的二元运算,分别称为交和并。 注:若 < L; > 是一个格,则意味着 < L; > 也是一个形为 < L; , > 的代数系统,其中 和 是 L 上的两个二元运算, 对于任意 l1, l2 L,l1 l2 表示在偏序 “ ” 意义下,l1 和 l2 的最小上界,l1 l2 表示 l1 和 l2 的最大下界。

离散数学布尔代数

离散数学布尔代数

一个非零元素b,至少存在一个原子a,使得a ≤ b。 1
证明:若b本身就是一个原子,则b ≤ b,得证。c
df
若b不是原子,肯定存在b1,使得0 ≤ b1 ≤ b, a
be
若b1是原子,则定理得证;
0
否则,若b1不是原子,则必存在b2,使得0 ≤ b2 ≤ b1 ≤ b
∵<A, ≤>是一个有全下界的有限格,
定理1:对于布尔代数中任意两个元素 a, b,必定有
(1) ( a ) = a, (2) a∨b = a∧b , (3) a∧b = a∨b
3
❖ 布尔代数
定义3:设<A,∨1,∧1, - > 和<B,∨2,∧2, ~ >是两个布尔代数, 如果存在A到B的双射 f,对于a,bA,有
f (a∨1b) = f (a) ∨2 f (b)
2、对a,bA,有 f (a∧b) = f (a)∩f (b)
9
❖ 格与布尔代数
定理3 ( Stone表示定理 ) :
设<A,∨,∧, - >是由有限布尔格<A, ≤>所诱导的一个有 限布尔代数,S是布尔格<A, ≤>中的所有原子的集合,则 < A,∨,∧, - >< P(S),∪,∩, ~ >同构。 分析:要证两个代数系统同构,分为以下几步:
1、找一个双射函数 f: A P(S)
∴a ≤ c ,又∵a ≤ c, ∴a ≤ c ∧ c,即 a ≤ 0,
这与a是原子相矛盾, ∴假设错
∴b ∧ c = 0,由引理1得: b≤c ∴b=c,即:b= a1∨a2∨... ∨ak
7
❖ 格与布尔代数
证明(2):设b的另一种表示形式为 b = aj1∨aj2∨... ∨ajt 其中aj1,aj2,……,ajt是A中原子。∵b是 aj1,aj2,……,ajt 的最小上界, ∴有aj1≤b, aj2≤b,…,ajt≤b,而a1,a2,……,ak是A中满足 a j ≤b的所有原子, {aj1,aj2,…,ajt}是{a1,a2,…,ak}的子集,即 |{aj1,aj2,…,ajt}|<=|{a1,a2,…,ak}|, 即:t ≤ k。(下面证 t < k 是不可能的)

布尔代数基础

布尔代数基础

布尔代数基础和布尔函数的化简和实现布尔代数是分析和设计数字逻辑电路的数学工具。

因此这里从应用的角度向读者介绍布尔代数,而不是从数学的角度去研究布尔代数。

一、布尔代数的基本概念1、布尔代数的定义域和值域都只有“0”和“1”。

布尔代数的运算只有三种就是“或”(用+表示),“与”(用·表示)和“非”(用 ̄表示,以后用’表示)。

因此布尔代数是封闭的代数系统,可记为B=(k,+,·, ̄,0,1),其中k表示变量的集合。

2、布尔函数有三种表示方法。

其一是布尔表达式,用布尔变量和“或”、“与”和“非”三种运算符所构成的式子。

其二是用真值表,输入变量的所有可能取值组合及其对应的输出函数值所构成的表格。

其三是卡诺图,由表示逻辑变量所有可能取值组合的小方格所构成的图形。

3、布尔函数的相等可以有两种证明方法,一种是从布尔表达式经过演绎和归纳来证明。

另一种就是通过列出真值表来证明,如两个函数的真值表相同,则两个函数就相等。

二、布尔代数的公式、定理和规则1、基本公式有交换律、结合律、分配律、0—1律、互补律、重叠律、吸收律、对合律和德·摩根律。

值得注意的是分配律有两个是:A·(B+C)=A·B+A·C和A+B·C=(A+B)·(A+C),另外就是吸收律,A+AB=A;A+A’B=A+B它们是代数法化简的基本公式。

2、布尔代数的主要定理是展开定理(教材中称为附加公式)。

3、布尔代数的重要规则有对偶规则和反演规则。

三、基本逻辑电路1、与门F=A·B2、或门F=A+B3、非门F=A’(为了打字的方便,以后用单引号“’”表示非运算,不再用上划线表示非运算)4、与非门F=(A·B)’5、或非门F=(A+B)’6、与或非门F=(A·B+C·D)’7、异或门F=A’B+AB’=A⊕B8、同或门F=A’B’+AB=A⊙B四、布尔函数的公式法化简同一个布尔函数可以有许多种布尔表达式来表示它,一个布尔表达式就相应于一种逻辑电路。

布尔代数的基本规则

布尔代数的基本规则

布尔代数的基本规则布尔代数是一种逻辑计算的方法,它主要运用于电子电路和计算机领域。

在布尔代数中,只存在两种逻辑值,即真和假。

这两种逻辑值可以通过一系列运算得出相应的结果。

在布尔代数中,存在一些基本的规则和定律,这些规则和定律对于求解逻辑运算非常关键。

以下是布尔代数的基本规则:1. 与运算规则与运算也称为“乘法”,表示为“∩”。

对于任意两个逻辑变量A 和 B,有以下运算规则:真∩真=真真∩假=假假∩真=假假∩假=假2. 或运算规则或运算也称为“加法”,表示为“∪”。

对于任意两个逻辑变量A 和 B,有以下运算规则:真∪真=真真∪假=真假∪真=真假∪假=假3. 非运算规则非运算也称为“取反”,表示为“~”。

对于任何逻辑变量 A,有以下运算规则:~真=假~假=真4. 吸收律吸收律是指在与运算或或运算中,对于一个变量进行两次操作等于一次操作的规律。

吸收律有以下两个定律:A∩(A∪B)=AA∪(A∩B)=A5. 分配律分配律指在与运算或或运算中,一个变量与一组变量的运算结果与一个变量与这组变量中每个变量的运算结果的和之间等效的规律。

分配律有以下两个定律:A∩(B∪C)=(A∩B)∪(A∩C)A∪(B∩C)=(A∪B)∩(A∪C)6. 结合律结合律是指在同种运算规则下,先运算任意两个变量得到的结果与其中一个变量与剩余变量运算之后得到的结果是相等的规律。

结合律有以下两个定律:(A∩B)∩C=A∩(B∩C)(A∪B)∪C=A∪(B∪C)7. 常数运算布尔代数中出现的“1”表示真,“0”表示假。

对于任何逻辑变量 A,有以下常数规则:A∪1=1A∩0=0通过以上基本规则,我们可以对逻辑运算有着深入的认识并用于实际应用中。

当我们设计电子电路或者编写计算机程序时,十分需要严格遵守这些规则,以便确保逻辑的正确性。

同时,这些规则在逻辑思维和分析问题的能力的提升方面也具有重要的指导意义。

布尔代数的基本运算与性质

布尔代数的基本运算与性质

布尔代数的基本运算与性质布尔代数是一种逻辑代数,用于对逻辑表达式进行运算和分析。

它是以数学符号和运算为基础,对逻辑关系进行描述和计算的一种工具。

在计算机科学和电子工程等领域,布尔代数被广泛应用于数位逻辑电路和逻辑编程等方面。

本文将介绍布尔代数的基本运算与性质。

一、布尔代数的基本运算1. 与运算(AND)与运算是布尔代数中最基本的运算之一,它采用逻辑与操作符“∧”表示。

与运算的规则是:只有在两个变量同时为真时,结果才为真;否则结果为假。

例如,变量A和变量B的与运算可以表示为 A ∧ B。

2. 或运算(OR)或运算是布尔代数中另一个基本运算,它采用逻辑或操作符“∨”表示。

或运算的规则是:只要两个变量中有一个为真,结果就为真;否则结果为假。

例如,变量A和变量B的或运算可以表示为 A ∨ B。

3. 非运算(NOT)非运算是布尔代数中最简单的运算,它采用逻辑非操作符“¬”表示。

非运算的规则是:翻转变量的取值,如果原来为真,则结果为假;如果原来为假,则结果为真。

例如,变量A的非运算可以表示为 ¬A。

二、布尔代数的性质1. 结合律布尔代数的运算满足结合律,即运算的结果与运算的先后顺序无关。

例如,对于与运算,A ∧ (B ∧ C) 的结果和 (A ∧ B) ∧ C 的结果相同。

2. 分配律布尔代数的运算满足分配律,即一个运算符在有两个不同的运算符作用时,结果相同。

对于与运算和或运算,有以下两个分配律:- A ∧ (B ∨ C) = (A ∧ B) ∨ (A ∧ C)- A ∨ (B ∧ C) = (A ∨ B) ∧ (A ∨ C)3. 吸收律布尔代数的运算满足吸收律,即一个变量与该变量的运算结果相同。

例如,A ∨ (A ∧ B) 的结果和A的结果相同。

4. 对偶性原理布尔代数的运算满足对偶性原理,即一个布尔代数式子中的与运算(∧)与或运算(∨),变量的取反(¬)可以互换。

例如,对于布尔表达式 A ∧ B ∨ C,可以通过对偶性原理转换为 A ∨ B ∧ ¬C。

布尔代数讲义

布尔代数讲义
证: 因为a≤a, b≤c 由性质10) 知 ab≤ac 得证。
1 格?
1 格?
格的基本性质
12) 分配不等式
a(bc)≤(ab)(ac) 对偶 a(bc)≥(ab)(ac)
证:
a≤ab, a≤ac a≤(ab)(ac)
b≤ab, c≤ac bc≤(ab)(ac)(性质10) a(bc)≤(ab)(ac)
i) 下界存在,其一为ab: 由(ab)a=(aa)b=ab 有:ab≤a 同理,ab≤b 从而,ab 是a,b的下界。
ii) ab为最大下界: 设c 是a,b 的任一下界, 即c≤b, c≤a, 由c(ab)= (ca)b=cb=c 有:c≤ab
所以,ab 是a,b的最大下界。
2 格是代数结构
3) 同理可证? a,bL, {a,b}的最小上界存在,且lub(a,b)=ab
反对称性: a,bL, 若a≤b, b≤a,即ab=a,ba=b, 于是由交换律,有a=ab=ba=b
传递性: a,b,cL,若a≤b,b≤c,即ab=a, bc=b 于是,由ac=(ab)c = a(bc)= ab=a
得a≤c
2 格是代数结构
2)证明 a,bL,{a,b}的最大下界存在,且glb(a,b)=ab
(a) (b)
3 布尔代数
例7 设<S;, >是一个分配格, 对于任意 的 a,b,c∈S, 如 果 ab=ac, ab=ac, 则有b=c。
证明 b=b(ba)=b(ca) =(bc)(ba)=(cb)(ca) =c(ba)=c(ca)=c。
有界格
3 布尔代数
设<S;, >是一个格, 如果存在一个元素 a∈S, 对于任意的x∈S, 均有x≤a (或a≤x), 则称a是格S的一个最大(或最小)元。当一个格中 最大元、最小元均存在时, 则称S是个有界格。

布尔代数

布尔代数

一:布尔代数的基本公式下面我们用表格来列出它的基本公式:下面我们来证明其中的两条定律:(1)证明:吸收律1第二式AB+AB=A左式=AB+AB=A(B+B)=A=右式(因为B+B=1)(2)证明:多余项定律AB+AC+BC=AB+AC左式=AB+AC+BC=AB+AC+BC(A+A)=AB+AC+ABC+ABC=AB(1+C)+AC(1+B)=AB+AC=右式证毕注意:求反律又称为摩根定律,它在逻辑代数中十分重要的。

二:布尔代数的基本规则代入法则它可描述为逻辑代数式中的任何变量A,都可用另一个函数Z 代替,等式仍然成立。

对偶法则它可描述为对任何一个逻辑表达式F,如果将其中的“+”换成“*”,“*”换成“+”“1”换成“0”,“0”换成“1”,仍保持原来的逻辑优先级,则可得到原函数F的对偶式G,而且F与G互为对偶式。

我们可以看出基本公式是成对出现的,二都互为对偶式。

反演法则有原函数求反函数就称为反演(利用摩根定律),我们可以把反演法则这样描述:将原函数F中的“*”换成“+”,“+”换成“*”,“0”换成“1”,“1”换成“0”;原变量换成反变量,反变量换成原变量,长非号即两个或两个以上变量的非号不变,就得到原函数的反函数。

的基本公式下面我们用表格来列出它的基本公式:下面我们来证明其中的两条定律:(1)证明:吸收律1第二式AB+AB=A左式=AB+AB=A(B+B)=A=右式(因为B+B=1)(2)证明:多余项定律AB+AC+BC=AB+AC左式=AB+AC+BC=AB+AC+BC(A+A)=AB+AC+ABC+ABC=AB(1+C)+AC(1+B)=AB+AC=右式证毕注意:求反律又称为摩根定律,它在逻辑代数中十分重要的。

二:布尔代数的基本规则代入法则它可描述为逻辑代数式中的任何变量A,都可用另一个函数Z 代替,等式仍然成立。

对偶法则它可描述为对任何一个逻辑表达式F,如果将其中的“+”换成“*”,“*”换成“+”“1”换成“0”,“0”换成“1”,仍保持原来的逻辑优先级,则可得到原函数F的对偶式G,而且F与G互为对偶式。

布尔代数法

布尔代数法

布尔代数法引言布尔代数法是一种逻辑思维工具,用于解决逻辑问题和设计数字电路。

它源于数学家乔治·布尔的研究,是20世纪发展起来的一种重要数学分支。

布尔代数法基于布尔变量和逻辑运算符,通过表达式的逻辑真值来描述和分析逻辑关系。

布尔代数基础布尔代数的基本元素是布尔变量,它的取值只能为真(1)或假(0)。

布尔变量通常用字母表示,如A、B、C等。

布尔代数包含以下逻辑运算符:1. 逻辑与运算逻辑与运算符表示两个布尔变量同时为真时的结果为真,否则为假。

逻辑与运算符用符号“∧”表示。

例如,A∧B表示A和B都为真时结果为真。

2. 逻辑或运算逻辑或运算符表示两个布尔变量至少一个为真时的结果为真,否则为假。

逻辑或运算符用符号“∨”表示。

例如,A∨B表示A和B中至少一个为真时结果为真。

3. 逻辑非运算逻辑非运算符表示对一个布尔变量取反,即真变假,假变真。

逻辑非运算符用符号“¬”表示。

例如,¬A表示A为假时结果为真。

布尔代数的运算法则布尔代数有一些运算法则,它们可以用于简化和分析逻辑表达式。

以下是常用的布尔代数运算法则:分配律是布尔代数中重要的法则之一。

它能够将逻辑和运算或逻辑或运算应用到一组布尔变量上。

分配律有两种形式:乘积和和的分配律。

乘积形式的分配律:A∧(B∨C) = (A∧B)∨(A∧C)和的形式的分配律:A∨(B∧C) = (A∨B)∧(A∨C)2. 吸收律吸收律能够用于减少逻辑表达式中的项,使其更加简洁。

吸收律有两种形式:乘积和和的吸收律。

乘积形式的吸收律:A∧(A∨B) = A和的形式的吸收律:A∨(A∧B) = A3. 交换律交换律适用于逻辑与运算和逻辑或运算。

它们允许交换布尔变量的位置,不影响结果。

逻辑与运算的交换律:A∧B = B∧A逻辑或运算的交换律:A∨B = B∨A布尔代数的应用布尔代数在逻辑设计和计算机科学等领域有广泛的应用。

以下是一些常见的布尔代数的应用:1. 逻辑电路设计布尔代数可以用来设计和分析数字电路,如门电路和寄存器。

格与布尔代数

格与布尔代数

格与布尔代数后述,一部分关于格与一部分关于布尔代数。

关于格格是数学中的一种代数结构,它被广泛用于数学、计算机科学和逻辑学等领域。

在数学中,格是一种偏序集合,它具有两个基本运算:上下拟合和交并运算。

其中,上下拟合是指存在最小上估和最大下估,而交并运算则是指对于任意两个元素都可以求出它们的最大公共上界和最小公共下界。

尽管最初格是在点集拓扑学中发现的,但它们的概念在其他领域中也扮演着重要角色,例如,它们在科学中被用来定义空间,它们被用来解决许多计算机科学问题,例如,程序正确性证明,它们与数据结构有关,在逻辑学中,格被用来理解一些推理系统。

关于布尔代数布尔代数是一种代数结构,它被广泛用于逻辑学、电子工程和计算机科学中。

布尔代数是邓纳-Bier恩论文提出的一种基于命题逻辑的代数系统,其中对于两个命题P和Q,存在两个二元运算,即并(∨)和交(∧)。

这种代数系统可以用0和1表示,其中0表示假,1表示真。

布尔代数中的一些重要性质是:交换律、结合律、分配律等。

尽管在布尔代数中并和交这两个朴素的逻辑运算都不是独立产生的概念,但该理论在数学和计算机科学中有着重要应用。

布尔代数不仅用于设计电路和硬件,还用于在计算机程序和算法中描述逻辑条件,可编程逻辑和任意逻辑等方面。

格与布尔代数的关系虽然格和布尔代数看起来似乎是两种完全不同类型的代数结构,但它们之间有着密切的联系。

一些格配合着一些次区域可以构成布尔代数;同样,对于一个布尔代数而言,它也可以被看作是某个格所描述的偏序集合。

在交集上平凡地定义结构子格也叫布尔子格。

一个布尔代数的子集都可以看做是一种决策支持系统(Decision Support System,DSS)或决策信息系统(Decision Information System,DIS)。

由此可见,布尔代数是格论的一种特例,而格论是布尔代数的一种扩展。

总体而言,格与布尔代数的关系很紧密。

事实上,这种关系已经在数学和计算机科学的广泛应用中得到了充分的体现。

离散数学格的概念

离散数学格的概念

❖ 代数系统定义的格
定理1:<A,∨,∧>是代数系统,∨,∧都是二元运算且满足交换律、 结合律和吸收律,则A上存在偏序关系≤,使<A, ≤>是一个格。 证明:在A上定义一个二元关系≤为: ≤ ={<a,b> | a,b A, a∧b = a 或 a ∨ b =b} 可以证明a∧b = a 与 a ∨ b =b 是等价的。即a∧b = a a ∨ b =b 首先证明≤是偏序关系 (1) ∵ ∨,∧满足吸收律∴ ∨,∧满足幂等律
d
g
c
h
b
e
f
a
❖格的基本性质
格的性质:设<A,≤>格,对A中的任意元素 a,b,c,有:
(4) 交换律:a∨b = b∨a、a∧b = b∧a 结合律:a∨(b∨c) = (a∨b)∨c、a∧(b∧c) = (a∧b)∧c 幂等律:a∨a = a、a∧a = a 吸收律:a∨(a∧b) = a、a∧(a∨b) = a
❖ 基本概念
例3: B3 = {1,2,3,6,10,15,30} ,显然 < B3, D >是格。
30
30
10
6 15
2
3
10
6 15
2
53
1
1
但∵10∧15 = 5 ≠ 1,即∧运算在B3上不封闭,
∴< B3 , D >不是 < S30 , D >的子格。
说明:
(2) BA 且<B,≤ > 是格,则<B,≤ > 一定是<A,≤ >的子格。
< B, max, min >
< P(A) , > 诱导代数系统是:

布尔代数

布尔代数

布尔代数、∙目录∙发现者和发现过程Boolean algebra英国数学家G.布尔为了研究思维规律(逻辑学、数理逻辑)于1847和1854年提出的数学模型。

此后R.戴德金把它作为一种特殊的格。

所谓一个布尔代数,是指一个有序的四元组〈B,∨,∧,*〉,其中B是一个非空的集合,∨与∧是定义在B上的两个二元运算,*是定义在B上的一个一元运算,并且它们满足一定的条件。

布尔代数由于缺乏物理背景,所以研究缓慢,到了20世纪30~40年代才有了新的进展,大约在1935年,M.H.斯通首先指出布尔代数与环之间有明确的联系,他还得到了现在所谓的斯通表示定理:任意一个布尔代数一定同构于某个集上的一个集域;任意一个布尔代数也一定同构于某个拓扑空间的闭开代数等,这使布尔代数在理论上有了一定的发展。

布尔代数在代数学(代数结构)、逻辑演算、集合论、拓扑空间理论、测度论、概率论、泛函分析等数学分支中均有应用;1967年后,在数理逻辑的分支之一的公理化集合论以及模型论的理论研究中,也起着一定的作用。

近几十年来,布尔代数在自动化技术、电子计算机的逻辑设计等工程技术领域中有重要的应用。

1835年,20岁的乔治·布尔开办了一所私人授课学校。

为了给学生们开设必要的数学课程,他兴趣浓厚地读起了当时一些介绍数学知识的教科书。

不久,他就感到惊讶,这些东西就是数学吗?实在令人难以置信。

于是,这位只受过初步数学训练的青年自学了艰深的《天体力学》和很抽象的《分析力学》。

由于他对代数关系的对称和美有很强的感觉,在孤独的研究中,他首先发现了不变量,并把这一成果写成论文发表。

这篇高质量的论文发表后,布尔仍然留在小学教书,但是他开始和许多第一流的英国数学家交往或通信,其中有数学家、逻辑学家德·摩根。

摩根在19世纪前半叶卷入了一场著名的争论,布尔知道摩根是对的,于是在1848年出版了一本薄薄的小册子来为朋友辩护。

这本书是他6年后更伟大的东西的预告,它一问世,立即激起了摩根的赞扬,肯定他开辟了新的、棘手的研究科目。

格与布尔代数

格与布尔代数
格与布尔代数
布尔代数是计算机逻辑设计的基础,它是由格引出的,
格又是从偏序集引出的。所以我们先回顾一下偏序集。
<A,≤>是偏序集:≤是A上自反,反对称和传递关系(偏序).
偏序集中的元素间的次序可以通过它的Hasse图反映出来.
例如A={1,2,3,6,12,24,36}, ≤是A上整除关系 其Hasse图如图所示,B A B≠Φ
3. B的下界与上界
24。 36。 12。
6。 2。 3。
1。
y是B的下界 y∈A∧ x(x∈B y≤x)
y是B的上界 y∈A∧ x(x∈B x≤y)
{2,3,6}的下界:1 上界: 6,12,24,36
4. B的最大下界(下确界)与最小上界(上确界)
y是B的最大下界(下确界):B的所有下界x,有x≤y。
例如右边的格中a∧b=b a∨b=a b∧c=e
a
4. 子格:设<A,≤>是格, <A,∨,∧>是由
<A,≤>诱导的代数系统。B是A的非空子
集,如果∧和∨在B
上封闭,则称<B, ≤>
a
是<A, ≤>的子格。
b
cb
d
e
fe
b
cd
e a
c
a
b
c
f
<C,≤>是<A,≤>的
g
g
子格。而<B,≤>不是.
<A,≤>
<B,≤>
因b∧c=d B, (判定子格:看去掉的元素是否影响封闭)
d <C,≤>
5
二. 格的对偶原理
设<A,≤>是格,≤的逆关系记作≥,≥也是偏序关系。

离散数学讨论课(群环格域布尔代数)

离散数学讨论课(群环格域布尔代数)
整 环: (R,+,。)为环,它有单位元素且是可换环,无零因子,
则称(R,+,。)是一个整环。
域:设环(R,+,。)满足下列条件: (1)、R至少有两个元素 (2)、(R,。)有单位元素 (3)、(R,。)是可换的 (4)、除零元外,其余元素均存在逆元素(a∈R的逆元可记作a-1)
环论在计算机领域的应用: (1)、广义圆环论在可持续发展中
群论在计算机领域的应用: (1)、组合群论在密码学中的应用 (2)、用群论的基础知识理解信号处理中
的一些基本概念(如:时域和频域信号空间的群同 构关系)
(3)、椭圆曲线密码的应用等
组合群论在密码学中的应用 用群论的基础知识理解信号处理中的一些基本 概念(如:时域和频域信号空间的群同构关系)
椭圆曲线密码的应用
如果半群还满足交换律,则称其为可换半群。
单 元 半 群:设有一个代数系统(S, 。)其中“。”是二元运算,它
满足结合律,并且存在单位元素,则此代数系统叫做单元半群。即 对S内任意元素a,b,c有
(a。b)。c= a。(b。c) 且存在1∈S有1.a=a。1=a。 如果单元半群还满足交换律,则称其为可换单元半群。
d ∈ {0, 1, 2, ⋯ , n - 1}
用户的公开密钥定义为 Q 点:
Q = dG
设要加密的明文数据为 M , 将 M 划分为一些较小的数据块 , M = [ m 1 , m 2 , ⋯ , m t ] 。 式中 : 0 ≤ mi< n 。用户 A 将数据 mi 加密发送给 B , 加密过程如下:
【1】用户 A 查公钥库 PKDB, 查到用户 B 的公开密钥 QB 。
【2】用户 A 选择一个随机数 dA , 且 dA ∈ { 0,1, 2, ⋯ , n - 1} 。 【3】用户 A 计算点 X 1: (x 1 , y 1)=dAG 。 【4】用户 A 计算点 X 2: (x 2 , y 2) =dAQB , 如果分量 x 2 = 0, 则转【2】。 【5】用户 A 计算 C = mi x 2 mod n 。 【6】用户 A 发送加密数据 ( X1 , C ) 给用户 B 。 解密过程:

分配格、有补格与布尔代数

分配格、有补格与布尔代数

离散结构分配格、有补格与布尔代数教学目标基本要求(1)掌握分配格和有补格的定义(2)了解布尔代数的定义重点难点(1)分配格和有补格的判定分配格定义:设<L, ∧,∨>是格,若∀a, b, c∈L,有a∧(b∨c) = (a∧b)∨(a∧c)a∨(b∧c) = (a∨b)∧(a∨c)则称L为分配格.说明:•可以证明以上两个条件互为充分必要条件实例例:判断下列各格哪些是分配格。

L1和L2是分配格,L3和L4不是分配格。

特别的,称L3为钻石格,L4为五角格.L3 :b∧(c∨d) =b∧e= b(b∧c)∨(b∧d)=a∨a= aL4 :d∧(b∨c) =d∧e= d(d∧b)∨(d∧c)=a∨c= c分配格判定定理定理:设L是格,则L是分配格当且仅当L不含有与钻石格或五角格同构的子格。

推论:•小于五元的格都是分配格.•任何一条链都是分配格.实例例:说明图中的格是否为分配格,及其原因?解:都不是分配格.{a,b,c,d,e}是L1的子格,同构于钻石格{a,b,c,e,f }是L2的子格,同构于五角格有界格定义:设L是格,(1) 若存在a∈L使得∀x∈L有a ≼x, 则称a为L的全下界(2) 若存在b∈L使得∀x∈L有x ≼b, 则称b为L的全上界说明:•格L若存在全下界或全上界, 一定是惟一的.•一般将格L的全下界记为0, 全上界记为1.定义:设L是格,若L存在全下界和全上界, 则称L 为有界格,一般将有界格L记为<L, ∧, ∨, 0, 1>.有界格的性质定理:设<L,∧,∨,0,1>是有界格, 则∀a∈L有a∧0 = 0, a∨0 = a, a∧1 = a, a∨1 = 1说明:•有限格L={a1,a2,…,a n}是有界格, a1∧a2∧…∧a n是L的全下界, a1∨a2∨…∨a n是L 的全上界.•0是关于∧运算的零元,∨运算的单位元;1是关于∨运算的零元,∧运算的单位元. •对于涉及到有界格的命题, 如果其中含有全下界0或全上界1, 在求该命题的对偶命题时, 必须将0替换成1, 而将1替换成0.有界格中的补元及实例定义:设<L, ∧, ∨, 0, 1>是有界格, a∈L, 若存在b∈L使得 a∧b = 0 和a∨b = 1成立, 则称b是a的补元.说明:•若b是a的补元, 那么a也是b的补元. a和b互为补元.实例例:考虑下图中的格. 针对不同的元素,求出所有的补元。

布尔代数

布尔代数

4/12/2020 2:59 AM
Deren Chen, Zhejiang Univ.
15
Boolean Algebra 布尔代数
进一步思考
1、卡诺图/Karnaugh Maps 布尔表达式的图示方法
2、布尔表达式的标准化描述 表达、分类、判定、应用
4/12/2020 2:59 AM
Deren Chen, Zhejiang Univ.
Boolean Algebra 布尔代数
布尔代数的抽象定义:
半序集(A,) 格/Lattics:半序集(A,)对任意a,bA,a,b 的上 确界c和下确界d存在,记a b=c, a b=d 有界格:格中存在最大元素1和最小元素0。 有界格中元素的余元: aA,若存在bA使得 a b=1, a b=0, 称b是 a的一个余元。
限定性命题公式: 最多仅含有否定、析取、合取 逻辑联结词的命题公式。
命题公式P的对偶公式(Dual):将P中的 析取联结词换成合取联结词, 合取联结词换成析取联结词, T换成F,F换成T(如果存在的话)。
记为P*
4/12/2020 2:59 AM
Deren Chen, Zhejiang Univ.
10
16
Boolean Algebra 布尔代数
练习
PP 624 9, 10(a)(c)
4/12/2020 2:59 AM
Deren Chen, Zhejiang Univ.
17
4/12/2020 2:59 AM
Deren Chen, Zhejiang Univ.
7
Table 6
Boolean Algebra 布尔代数
p∨q T p∧q F
p ∨ (p ∧ q) p p ∧ (p ∨ q) p

布尔代数

布尔代数



任何有限布尔代数的基数为2n, n是自然数。

设B是有限代数系统,A是B中所有原子的集合。 则:B≅P(A), ∴|B|=|P(A)|=2|A|
等势的布尔代数系统均同构

设B1和B2是有限布尔代数,且|B1|=|B2|;A1,A2分别是相应 的原子的集合。由同构关系的传递性,只需证明: P(A1)≅P(A2)。
则称ϕ是B1到B2的同态映射。(若ϕ是双射,则是同构)

其实,上述3个等式不是独立的。


(2)+(3)⇒(1): ϕ(a∨b)=ϕ(((a∨b)')')= -ϕ((a∨b)')= -ϕ(a'∧ b')= -(ϕ(a')⋂ϕ(b'))= -(-ϕ(a)⋂-ϕ(b))=ϕ(a)⋃ϕ(b) 同理:(1)+(3)⇒(2)
有限布尔代数的表示定理的证明

ϕ: B → P(A), ∀x∈B, ϕ(x)=T(x)是同态映射。



ϕ(x∧y) = T(x∧y) = {b|b∈A, b≼x∧y} = {b|(b∈A, b≼x)且 (b∈A, b≼y)} = {b|b∈A,b≼x}⋂{b|b∈A,b≼y} = T(x)⋂T(y) = ϕ(x)⋂ϕ(y) 令x=a1 ∨ a2 ∨ … ∨ an , y=b1 ∨ b2 ∨ … ∨ bm 。 则x ∨ y= a1 ∨ … ∨ an ∨ b1 ∨ … ∨ bm , 显然:ϕ(x∨y) = T(x∨y) = T(x)⋃T(y) = ϕ(x) ⋃ ϕ(y) 设x'是x在B中的补元。注意: ϕ(x)⋃ϕ(x')=ϕ(x ∨ x')=ϕ(1)=A 且 ϕ(x)⋂ϕ(x')=ϕ(x ∧ x')=ϕ(0)=∅ ∴ϕ(x') = ∼ϕ(x)

引言格的定义

引言格的定义

代数格与半序格旳等价性
定义A所定义旳格和定义B所定义旳格是等价 旳,亦即,一种半序格必是一种代数格;反 之亦然。 证明:i)若(L,≤)是一种半序格,则对a,b∈L, 记
inf{a,b}为a×b; sup{a,b}为a⊕b。 因为对任意a,b,其inf{a,b},sup{a,b}是唯 一旳,所以,如上定义旳×,⊕是集合L上旳两 种二元代数运算。 不难证明,对于×,⊕满足互换律,结合律,吸收律。 则根据定义B,(L,×,⊕)是一种代数格。
b×(a⊕b)= b, 故有a≤(a⊕b),b≤(a⊕b)。亦即,a⊕b 是{a,b}旳上界。
证明
若c∈L,且c是{a,b}旳上界,亦即有 a≤c,b≤c,则应有 a⊕c=c,b⊕c=c, 于是, (a⊕b)⊕c =(a⊕b)⊕(c⊕c)
=(a⊕c)⊕(b⊕c) = c⊕c =c 故有(a⊕b)≤c。 所以,(a⊕b)是{a,b}旳最小上界,即 sup{a,b}=(a⊕b)。 同理可证,inf{a,b}=(a×b)。 综上,(L,≤)为半序格。
第八章 格与布尔代数
§8.1 引 言
集合代数:(ρ(S), ∩ , ∪ )
对A,B,C∈ρ(S),运算∪,∩满足: ❖ 等幂律 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∩B)∪(A∩C),
代数子格
定义B′ 设(L,×,⊕)是一种代数格,S L,
(S,×,⊕)称为(L,×,⊕)旳一种代数子格,当 且仅当在运算×,⊕下,S是封闭旳。
结论:(S,×,⊕)是格(L,×,⊕)旳子格旳充要条
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
定义8.10 如果一个格是有补分配格, 则称它为布尔格或布 尔代数. 布尔代数标记为<B,∧,∨,, 0, 1>, 为求补运算.
例8 设 S110 = {1, 2, 5, 10, 11, 22, 55, 110}是110的正因子集合, gcd表示求最大公约数的运算,lcm表示求最小公倍数的运 算,问<S110, gcd, lcm>是否构成布尔代数?为什么?
9
格的性质:保序
定理8.3 设L是格, a,b,c,d∈L,若a ≼ b 且 c ≼ d, 则
a∧c ≼ b∧d, a∨c ≼ b∨d

a∧c ≼ a ≼ b, a∧c ≼ c ≼ d
因此 a∧c ≼ b∧d. 同理可证 a∨c ≼ b∨d
例4 设L是格, 证明a,b,c∈L有 a∨(b∧c) ≼ (a∨b)∧(a∨c).
7
证明
(3) 显然 a ≼ a∨a, 又由 a ≼ a 可得 a∨a ≼a. 根据反对称性 有a∨a = a . 由对偶原理, a∧a = a 得证.
(4) 显然
a∨(a∧b)≽ a (5)
由 a ≼a, a∧b ≼ a 可得
由式(5)和(6) 可得 根据对偶原理,
a∨(a∧b) ≼a (6) a∨(a∧b) = a, a∧(a∨b) = a
a∨c = 1, a∧c = 0, 又知 b 是 a 的补元, 故
a∨b = 1, a∧b = 0 从而得到 a∨c = a∨b, a∧c = a∧b, 由于L是分配格, b = c.
注意: 在任何有界格中, 全下界0与全上界1互补. 对于一般元素, 可能存在补元, 也可能不存在补元. 如果
存在补元, 可能是惟一的, 也可能是多个补元. 对于有界 分配格, 如果元素存在补元, 一定是惟一的.
20
有补格的定义
定义8.9 设<L,∧,∨,0,1>是有界格, 若L中所有元素都有补 元存在, 则称L为有补格. 例如, 图中的L2, L3和L4是有补格, L1不是有补格.
图9
21
布尔代数的定义与实例
(1) 幂集格. x,y∈P(B),x∨y就是x∪y,x∧y就是x∩y. (2) 是格. x,y∈Z,x∨y = max(x,y),x∧y = min(x,y), (3) 都不是格. 可以找到两个结图2点缺少最大下界或最小上界 3
实例:子群格
例3 设G是群,L(G)是G 的所有子群的集合. 即 L(G) = { H | H≤G },
例如, 如果对一切格L都有 a,b∈L, a∧b≼a,那么对一切格L
都有 a,b∈L, a∨b≽a 注意:对偶是相互的,即 ( f*)*= f
5
格的性质:算律
定理8.1 设<L, ≼>是格, 则运算∨和∧适合交换律、结合律、 幂等律和吸收律, 即 (1) a,b∈L 有
a∨b = b∨a, a∧b = b∧a (2) a,b,c∈L 有
解 (1) 不难验证S110关于gcd 和 lcm 运算构成格. (略) (2) 验证分配律 x, y, z∈S110 有
gcd(x, lcm(y, z)) = lcm(gcd(x, y), gcd(x, z)) (3) 验证它是有补格, 1作为S110中的全下界, 110为全上界,
1和110互为补元, 2和55互为补元, 5和22互为补元, 10和 11互为补元, 从而证明了<S110, gcd, lcm>为布尔代数.
22
实例
例9 设B为任意集合, 证明B的幂集格<P(B), ∩,∪, ~, , B> 构成布尔代数, 称为集合代数. 证 (1) P(B)关于∩和∪构成格, 因为∩和∪运算满足交换律, 结合律和吸收律. (2) 由于∩和∪互相可分配, 因此P(B)是分配格. (3) 全下界是空集, 全上界是B. (4) 根据绝对补的定义, 取全集为B, x∈P(B), ~x是x的补元. 从而证明P(B)是有补分配格, 即布尔代数.
证 由 a ≼ a, b∧c ≼ b 得 a∨(b∧c) ≼ a∨b 由 a ≼a, b∧c ≼ c 得 a∨(b∧c) ≼ a∨c 从而得到 a∨(b∧c) ≼ (a∨b)∧(a∨c)
注意:一般说来, 格中的∨和∧运算不满足分配律.
10
例 设L=
,L上的整除关系
与L构成一个格,记作<L;≤>,
12
格作为代数系统的定义
定理8.4 设<S,∗,◦>是具有两个二元运算的代数系统, 若对于 ∗和◦运算适合交换律、结合律、吸收律, 则可以适当定义S中 的偏序 ≼,使得 <S,≼> 构成格, 且a,b∈S 有
a∧b = a∗b, a∨b = a◦b. 证明省略. 根据定理8.4, 可以给出格的另一个等价定义.
例1 设n是正整数,Sn是n的正因子的集合. D为整除关系,则 偏序集<Sn,D>构成格. x,y∈Sn,x∨y是lcm(x,y),即x与y的 最小公倍数. x∧y是gcd(x,y),即x与y的最大公约数.
2
实例
例2 判断下列偏序集是否构成格,并说明理由. (1) <P(B), >,其中P(B)是集合B的幂集. (2) <Z, ≤>,其中Z是整数集,≤为小于或等于关系. (3) 偏序集的哈斯图分别在下图给出.
定义8.3 设<S, ∗, ◦ >是代数系统, ∗和◦是二元运算, 如果 ∗和◦满足交换律、结合律和吸收律, 则<S, ∗,◦>构成格.
12
子格及其判别法
定义8.4 设<L,∧,∨>是格, S是L的非空子集, 若S关于L中 的运算∧和∨仍构成格, 则称S是L的子格. 例5 设格L如图所示. 令
S1={a, e, f, g}, S2={a, b, e, g} S1不是L的子格, 因为e, fS1 但
8
格的性质:序与运算的关系
定理8.2 设L是格, 则a,b∈L有 a ≼ b a∧b = a a∨b = b
证 (1) 先证 a ≼ b a∧b = a 由 a ≼ a 和 a ≼ b 可知 a 是{ a,b }的下界, 故 a ≼ a∧b. 显然有a∧b ≼ a. 由反对称性得 a∧b = a. (2) 再证 a∧b = a a∨b = b 根据吸收律有 b = b∨(b∧a) 由 a∧b = a 和上面的等式得 b = b∨a, 即 a∨b = b. (3) 最后证 a∨b = b a≼b 由 a ≼ a∨b 得 a ≼ a∨b = b
第八章 格与布尔代数
主要内容 格的定义及性质 子格 分配格、有补格 布尔代数
1
8.1 格的定义与性质
定义8.1 设<S, ≼>是偏序集,如果x,yS,{x,y}都有最小上 界和最大下界,则称S关于偏序≼作成一个格. 求{x,y} 最小上界和最大下界看成 x 与 y 的二元运算∨和∧,
称 L3为钻石格, L4为五角格.
14
分配格的判别及性质
定理8.5 设L是格, 则L是分配格当且仅当L不含有与钻石格 或五角格同构的子格. 证明省略. 推论 (1) 小于五元的格都是分配格. (2) 任何一条链都是分配格. 例6 说明图中的格是否为分配格, 为什么?
解 都不是分配格. { a,b,c,d,e }是L1的子格, 同构于钻石格 { a,b,c,e,f }是L2的子格, 同构于五角格; { a,c,b,e,f } 是L3的子格 同构于钻石格.
零元,∧运算的单位元. 对于涉及到有界格的命题, 如果其中含有全下界0或全上界
1, 在求该命题的对偶命题时, 必须将0替换成1, 而将1替换 成0.
17
有界格中的补元及实例
定义8.8 设<L,∧,∨,0,1>是有界格, a∈L, 若存在b∈L 使得 a∧b = 0 和 a∨b = 1
成立, 则称b是a的补元. 注意:若b是a的补元, 那么a也是b的补元. a和b互为补元. 例7 考虑下图中的格. 针对不同的元素,求出所有的补元.
对任意的H1, H2∈L(G),H1∩H2是G 的子群,<H1∪H2>是由 H1∪H2生成的子群(即包含着H1∪H2的最小子群). 在L(G)上定义包含关系,则L(G)关于包含关系构成一个 格,称为G的子群格. 在 L(G)中,
H1∧H2 就是 H1∩H2 H1∨H2 就是 <H1∪H2>
4
格的性质:对偶原理
16
有界格的性质
定理8.6 设<L,∧,∨,0,1>是有界格, 则a∈L有 a∧0 = 0, a∨0 = a, a∧1 = a, a∨1 = 1
注意: 有限格L={a1,a2,…,an}是有界格, a1∧a2∧…∧an是L的全下
界, a1∨a2∨…∨an是L的全上界. 0是关于∧运算的零元,∨运算的单位元;1是关于∨运算的
(2) 由最小上界的定义有
(a∨b)∨c≽a∨b≽a
(1)
(a∨b)∨c≽a∨b≽b
(2)
(a∨b)∨c≽c
(3)
由式(2)和(3)有 (a∨b)∨c≽b∨c
(4)
由式(1)和(4)有 (a∨b)∨c≽a∨(b∨c)
同理可证
(a∨b)∨c≼a∨(b∨c)
(a∨b)∨c = a∨(b∨c)
由对偶原理, (a∧b)∧c = a∧(b∧c)
e∧f = cS1. S2是L的子格.
13
8.2 分配格、有补格与布尔代数
定义8.5 设<L,∧,∨>是格, 若a,b,c∈L,有 a∧(b∨c) = (a∧b)∨(a∧c) a∨(b∧c) = (a∨b)∧(a∨c)
则称L为分配格. 注意:可以证明以上两个条件互为充分必要条件
实例
L1 和 L2 是分配格, L3 和 L4不是分配格.
相关文档
最新文档