格与布尔代数
离散数学第6章 格与布尔代数
![离散数学第6章 格与布尔代数](https://img.taocdn.com/s3/m/c79fd04c7ed5360cba1aa8114431b90d6c85892d.png)
6-1 格的概念
5)下面证明 a∧b=aa∨b=b 若a∧b=a 则 a∨b=(a∧b)∨b=b 反之,若a∨b=b 则 a∧b=a∧(a∨b)=a
b用a∨b代替(∵两式中b是相互独立的) ∴a∨(a∧(a∨b))=a 即 a∨a=a. (2)格的等价定理:〈A,∨,∧〉代数系统,∨.∧满足交换性, 结合性,吸收性,则A上存在偏序关系≤,使〈A,≤〉是一个格
从格可引出代数系统〈A,∨,∧〉; 而从满足三个条件的〈A,∨,∧〉也可导出格〈A,≤〉 证明见书:(格中⑻⑼⑾三个性质很重要,决定了格)
(11) 要证 a≤a∨(a∧b) 第一式显然成立
a∨(a∧b)≤a
a≤a
a∧b≤a
∴a∨(a∧b) ≤a
∴a=a∨(a∧b)
6-1 格的概念
6、格的等价原理:格〈A,≤〉 (1)引理6-1.1:〈A,∨,∧〉代数系统,若∨, ∧满足吸收性,
则∨, ∧满足幂等性 证:a,b∈A. a∨(a∧b)=a a∧(a∨b)=a.
第六章 格与布尔代数
格论是近代数学的一个重要分支,由它所引出的布尔 代数在计算机科学中有很多直接应用。
格的概念 分配格 有补格 布尔代数 布尔表达式
6-1 格的概念
1、回忆偏序集〈A,≤〉,≤偏序关系:满足自反性,反对称性, 传递性。有限集合上的偏序集可用哈斯图来表示:
COV (A) {a,c, b,c, c, d, d,e, d, f }
∧也易求得 ∴ A,∨,∧〉是格〈A,|〉 诱导的代数系统
6-1 格的概念
09-格与布尔代数-8.2
![09-格与布尔代数-8.2](https://img.taocdn.com/s3/m/2bac973910661ed9ad51f397.png)
第三节 子布尔代数、积布尔代数、布尔代数同态
定义:给定布尔代数<B, , *, ’ , 0, 1>,≠T B
2015年6月6日星期六
若T对 、* 和 ’ 是封闭的,且:0, 1 T
称<T, , *, ’ , 0, 1>是<B, , *, ’ , 0, 1>的子布尔代 数 显然:<{0, 1}, , *, ’ , 0, 1>和<B, , *, ’ , 0, 1> 都是<B, , *, ’ , 0, 1>的(平凡)子布尔代数
则:<f(B),∨,∧, , f(0), f(1)>是布尔代数 (证明参见教材P170 —— 利用布尔代数的定义证明)
布尔代数同态
结论:
2015年6月6日星期六
若 f 是从布尔代数<B, , *, ’ , 0, 1>到格<S,∨,∧>的 格同态映射,且f是满射的,
则:<S,∨,∧>是布尔代数
并且可以用基本公式来定义布尔代数
布尔代数的定义 从这4个定律,可以推出所有布尔代数的公式
有兴趣的同学可以参阅 R. L. 古德斯坦因 著的
对于a, b B , 有 定义:设<B, , *, ’ >是一个代数结构,其中:
2015年6月6日星期六
和 * 是B上的二元运算,’ 是B上的一元运算,且 0, 1 B
例9.15:设Bn是由0和1形成的n元组集合,且
2015年6月6日星期六
a = <a1, a2, …, an>,b = <b1, b2, …, bn> 0n = <0, 0, …, 0> , 1n = <1, 1, …, 1> 对任意 a, b Bn,定义: a b = < a1∨b1, a2∨b2 , …, an∨bn > a * b = < a1∧b1, a2∧b2 , …, an∧bn > a’ = < a1, a2, …, an> < Bn,∨,∧, , F, T>是布尔代数(开关代数)
格和布尔代数
![格和布尔代数](https://img.taocdn.com/s3/m/639ea5228e9951e79a892744.png)
分三步: 1) 证明’≤’是L上的偏序关系 2)证明 a,bL, {a,b}的下确界存在, 且 a∧b = glb(a,b)。 3)a,bL, {a,b}的上确界存在,且 lub(a,b) a∨b 具体证法见后面
1) 证明’≤’是L上的偏序关系 自反性:aL 由等幂律 a∧a=a, a≤a 反对称性:a,bL, 若a≤b, b≤a 则 a∧b=a, b∧a=b a = a∧b = b∧a = b 传递性:a,b,cL, 若 a≤b,b≤c 则a∧b=a, b∧c=b a∧c=(a∧b)∧c = a∧(b∧c)= a∧b=a a≤c
2、格的对偶原理
① 集合S的偏序关系≤的逆关系≥也是偏序关 系,若AS, 其中 ≤的glb(A) 对应于 ≥的lub(A), ≤的lub(A) 对应于 ≥的glb(A), 所以,若<S,≤>是格,则<S,≥>也是格, 称这两个格互为对偶。
2、格的对偶原理
② 因为<S,≤>的交是<S,≥>的并, <S,≤>的并是<S,≥>的交,
一般格只满足分配不等式: a∨(b∧c)≤(a∨b)∧(a∨c)
一、定义
设<L,∧,∨>是格,若a,b,cL,有: (1) a∧(b∨c)=(a∧b)∨(a∧c), (2) a∨(b∧c)=(a∨b)∧(a∨c), 则称 <L,∧,∨> 为分配格。
注:(1)(2)是互相等价的,由对偶原理,从一式可推
2)证明 a,bL, {a,b}的下确界存在, 且 a∧b=glb(a,b)。
a) 因为 (a∧b)∧a =(a∧a)∧b=a∧b a∧b≤a 同理a∧b≤b a∧b 是a,b的下界。
离散数学第五章格与布尔代数2
![离散数学第五章格与布尔代数2](https://img.taocdn.com/s3/m/c44d3779effdc8d376eeaeaad1f34693daef10e5.png)
§2.布尔代数
•布尔代数的定义 •布尔代数的性质 •布尔代数中的宏运算 •有限布尔代数的原子表示 •布尔函数与布尔表达式 •布尔环与布尔代数
2021/5/22
1
离散数学
§2. 布尔代数
定义1.布尔代数(Boolean algebra) 有补的分配格(B,≼, , , , 0, 1) 称为布尔代数。
(S, ,, , , 0, 1) 是布尔代数
这里:S={0,1},00, 01, 11,其运算表如下:
2021/5/22
3
x
离散数学
x y xy 00 0 01 0 10 0
11 1
xy 0 1 1
1
xx
01 10
表2
通过变元代换,显见表2与表1是完全相同的。即,令
h:S 2X , h (0)= , h (1)= X (这里:X={a})
16
离散数学
[证].布尔代数中的对偶原理实质上来源于两个二元运 算 和 所具有的结合律、交换律、幂等律、吸收律、 分配律的对称性,半序关系≼和其逆关系≽的对称性; 最小元0和最大元1的对称性;以及任何元素x与其补元 x的对称性。
注:•布尔代数(B, ≽ , , , ,1 , 0)称为原布尔代数 (B , ≼ , , , , 0 , 1)的对偶布尔代数。实际上,它们互为对偶;
P Q = (P1 Q1, P2 Q2, , Pn Qn)
P = (P1 , P2 , , Pn) 即n元命题代数的序关系、运算、最小元和最大元的定 义都归结为一元命题代数(ℙ, ≼ , , , , F, T) 。
仿例5我们易证:
(ℙn, ≼ , , , , F, T)≅ (2X, ,, , , , X ) 这里:X={a1, a2, , an},即 n元命题代数与n元集合代数是同构的。
离散数学结构 第十三章 格与布尔代数
![离散数学结构 第十三章 格与布尔代数](https://img.taocdn.com/s3/m/9af1ba7ec77da26925c5b0fd.png)
第十三章格与布尔代数13.1 格的定义与性质一、格作为偏序集的定义1.格的定义定义13.1设<S,>是偏序集,如果x,y S,{x,y}都有最小上界和最大下界,则称S 关于偏序作成一个格。
由于最小上界和最大下界的唯一性,可以把求{x,y}的最小上界和最大下界看成x与y的二元运算∨和∧,即求x∨y和x∧y分别表示x与y的最小上界和最大下界。
这里要说明一点,本章中出现的∨和∧符号只代表格中的运算,而不再有其它的含义。
2.格的实例例13.1设n是正整数,S n是n的正因子的集合。
D为整除关系,则偏序集<S n,D>构成格。
x,y∈S n,x∨y是lcm(x,y),即x与y的最小公倍数。
x∧y是gcd(x,y),即x与y的最大公约数。
图13.1给出了格<S8,D>,<S6,D>和<S30,D>.图13.1例13.2 判断下列偏序集是否构成格,并说明理由。
(1) <P(B),>,其中P(B)是集合B的幂集。
(2) <Z,≤>,其中Z是整数集,≤为小于或等于关系。
(3) 偏序集的哈斯图分别在图13.2中给出。
二.格的性质1.对偶原理定义13.2设f是含有格中元素以及符号=,,,∨和∧的命题。
令f*是将f中的替换成,替换成,∨替换成∧,∧替换成∨所得到的命题。
称f*为f的对偶命题。
例如,在格中令f是(a∨b)∧c c, 则f*是(a∧b)∨c c .格的对偶原理设f是含有格中元素以及符号=,,,∨和∧等的命题。
若f对一切格为真,则f的对偶命题f*也对一切格为真。
例如,对一切格L都有a,b∈L,a∧b a那么对一切格L都有a,b∈L,a∨b a许多格的性质都是互为对偶命题的。
有了格的对偶原理,在证明格的性质时,只须证明其中的一个命题就可以了。
2. 运算性质定理13.1设<L,>是格,则运算∨和∧适合交换律、结合律、幂等律和吸收律,即(1) a,b ∈L 有a∨b=b∨a, a∧b=b∧a(2) a,b,c∈L 有(a∨b)∨c=a∨(b∨c), (a∧b)∧c=a∧(b∧c)(3) a∈L 有a∨a=a, a∧a=a(4) a,b∈L 有a∨(a∧b)=a, a∧(a∨b)=a证(1)a∨b和b∨a分别是{a,b}和{b,a}的最小上界。
第六章 格代数
![第六章 格代数](https://img.taocdn.com/s3/m/3929b7cea1c7aa00b52acb5d.png)
格是一种特殊的代数系统,特殊在:在代数系统中 引入了次序关系,让一个代数系统的载体具有序结构。 1847年由英国数学家G.Boole创立的布尔代数, 最初的设想是利用代数学的方法研究人类的思维规 律。经过后继者的研究,使得它与许多数学分支发 生了联系,如集合论、数理逻辑、代数系统、图论 与组合学。而到上世纪30年代突然发现它与工程技 术又有着意想不到的联系,1950年苏联的 M.A.aBрИЛoB发表了“继电器接点网络原理”,把 基于布尔代数的演算系统发展成为接点网络实用中 的通用理论。目前布尔代数已成为计算机科学的最 重要基础理论之一。
再证a≤b a∨b=b 设a≤b,而b≤b从而a∨b≤b∨b(=b) 而b≤a∨b,故a∨b=b(由≤的反对称性) 反之,设a∨b=b,而a≤a∨b 从而a≤b.
#
15
(11)定理6-1.7 a≤c a∨(b∧c) ≤(a∨b) ∧c Proof:设a≤c 则 a∨c=c Def6-2.2 而 a∨(b∧c)≤ (a∨b)∧(a∨c) 故 a∨(b∧c)≤ (a∨b)∧c 反之,设 a∨(b∧c)≤ (a∨b)∧c, 而 a≤ a∨(b∧c), (a∨b)∧c ≤c 故 a ≤c(由≤的传递性) # (12)推论 (a∧b)∨(a∧c) ≤a∧(b∨(a∧c)) a∨(b∧(a∨c)) ≤(a∨b) ∧(a∨c) Proof:在(11)中因a∧c≤a可得第一式(以a∧c代替a,a 代c);因a≤a∨c可得第二式(以a代a,以a∨c代c). #
13
(9) 定理6-1.5 a∨(b∧c) ≤(a∨b) ∧(a∨c) (a∧b)∨(a∧c) ≤ a∧(b∨c)(分配不等式) Proof:a≤a∨b a≤a∨c 故a∧a≤(a∨b) ∧(a∨c) 而a= a∧a 故a ≤(a∨b) ∧(a∨c) 另外 b∧c≤b, b≤a∨b故b∧c≤a∨b(传递性) b∧c≤c, c≤a∨c故b∧c≤a∨c(传递性) 故b∧c =(b∧c) ∧(b∧c)≤(a∨b)∧(a∨c) 从而 a∨(b∧c)≤ (a∨b)∧(a∨c)
(优选)第篇格与布尔代数
![(优选)第篇格与布尔代数](https://img.taocdn.com/s3/m/fa6552bf76c66137ef061943.png)
第2式证明由对偶原理从上式直接可得。
定理15-1.6 设<A, >是一个格,那么,对于任意的 a,bA, 都有:
ab(a∧b)=a(a∨b)=b
ab(a∧b)证明思路:
(1)先证 ab (a∧b)=a
由ab和a a ,根据定理15-1.2得 a a∧b
又根据a∧b的定义, 有
a∧b a
由二元关系的反对称性得 :
(优选)第篇格与布尔代数
通常用a∨b 表示{a,b}的上确界,用a∧b 表示{a, b}的下确界,∨和∧分别称为保联(join)和保交(meet) 运算。由于对任何a,b,a∨b及a∧b都是A 中确定 的成员,因此 ∨,∧均为A上的运算。
例3 设S={a,b} , (S) ={, {a},{b},{a,b}} 由格< (S), >诱导的代数系统为< (S),∨,∧> 。 其中∨为集合的并运算和∧为集合的交运算。
a∧b = a
(2) 再证 (a∧b)=a ab
设a∧b=a,则a =a∧bb ,这就证明了
(a∧b)=a ab
综合(1)和(2)得: ab(a∧b)
定理15-1.7 设<A, >是一个格,那么,对于任意的
a,b,cA, 都有: aca∨(b∧c) (a∨b)∧c
证明思路: (1)先证 ac a∨(b∧c) (a∨b)∧c 根据定理15-1.6有 ac (a∨c)=c 根据定理15-1.5有a∨(b∧c)(a∨b)∧(a∨c)
可以证明,若<A,>是格,则<A,R>也是格。 称R是的逆关系。记为。
格对偶原理可以叙述为:设P是对任意格都真的命题, 如果在命题P中把换成 ,∨换成∧,∧换成∨,就
地六章-格和布尔代数(1)
![地六章-格和布尔代数(1)](https://img.taocdn.com/s3/m/d3e82ae4c0c708a1284ac850ad02de80d4d80690.png)
定义6.7 集合 L 中的偏序关系 R 与其逆关系 R1,称为互 相对偶的两个关系。 对任意 x, y∈L,xR1y yRx。 6.1.1 节例 6.4 中的 关系即为蕴涵关系 的逆关系。 因此,对任意 P, Q∈S, (P Q) (Q P)
【例6.7】设 n 是一个正整数,Sn 是 n 的所有因数的集合, 两个正整数的最大公因数 ,最小公倍数 可看作是 Sn 上两个代数运算,于是,(Sn, , ) 是一个格。
定理6.1 关于格的两种定义(以对应一个代数格;任意一个代 数格也都可以对应一个偏序格。
定义中没有要求 , 运算满足等幂律,实际上由 , 满足吸收律即可推出它们一定满足等幂律。任取 L 中元素
a,由 , 满足吸收律知
a(aa)=a
a(aa)=a
故
aa=a(a(aa))
aa=a(a(aa))
又由 , 满足吸收律知,上面两式的等式右端都等于 a。
因此,
aa=a
aa=a
即定义 6.3 中的 , 运算亦满足等幂律。
【例6.4】设 S 是所有的命题集合,定义 “” 关系如下: A B 当且仅当 B 蕴涵 A
则 (S, ) 是一个格。对 A, B∈S, sup{A, B}=A∧B∈S inf{A, B}=A∨B∈S
定义6.2 若格 L 的一个子集 M≠Ф 对于运算 和 封闭, 则 M 称作子格。
例如:a 是格 L 的一个固定元素,则使 X≥a(或 X≤a) 的 L 中元素 X 的集合,显然是一个子格。若 a≥b,则使 a≥X≥b 的 L 中元素 X 的集合是一个子格,这样的子格 叫作一个闭区间(商),记作 M(a,b)。
例如,S6={1, 2, 3, 6}, S24={1, 2, 3, 4, 6, 8, 12, 24}。
中北大学 离散数学第六章 格和布尔代数
![中北大学 离散数学第六章 格和布尔代数](https://img.taocdn.com/s3/m/2bcd747a02768e9951e738cc.png)
16
§6.3 有补格
[定理]如果<L,≤>是有界格,全上界和全下界分别 是1和0,则对任意元素aL,有: a1=1a=1 ,a1=1a=a, a0=0a=a ,a0=0a=0。 证明:因为1≤a1, 又因(a1)L且1是全上界,∴a1≤1, ∴ a1=1。由交换律:1a=a1=1。 因为a≤a,a≤1,∴a a≤a1,即:a≤a1, 又a1≤a, ∴ a1=a。仿此可得另两式。
3
§6.1 格的概念
例:以下均为偏序集合格(D为整除关系,Sn为n的因 子集合)。
4
§6.1 格的概念
2.代数系统格 L, [定义]设 是一个格,如果在A上定 义两个二元运算和,使得对于任意的a,bA, ab等于a和b的最小上界,ab等于a和b的最大 下界,那么就称<L, ,L,> 为由格 所诱导的代数系统。
2
§6.1 格的概念
1.偏序集合格 L, [定义]格是一个偏序集合 ,其中每一对元素 a, b L 都拥有一个最小上界和最大下界。通常用 a b表示a和b的最大下界,用 a b 表示a和b的最 小上界。即: GLB{a, b} a b ——称为元素a和b的保交运算,
LUB{a, b} a b ——称为元素a和b的保联运算。
20
§6.3 有补格
[定理]在有界分配格中,若有一个元素有补元,则 必是唯一的。 证明:
21
§6.4 布尔代数
[定义]一个有补分配格称为布尔格。
[定义]一个格<L,≤>如果它既是有补格,又是分配格, 则它为有补分配格。我们把有补分配格中任一元 素a的唯一补元记为a。 讨论定义: (1)布尔格中,每个元素有唯一的补元。 (2)我们可以定义L上的一个一元运算,称为补运算, 记为“-”。
离散数学(第二版)第7章格和布尔代数和
![离散数学(第二版)第7章格和布尔代数和](https://img.taocdn.com/s3/m/023959e7a32d7375a41780ef.png)
离散数学(第二版)第7章格和布尔代 数和
第七章 格和布尔代数
7.1 格 与 子 格
本章将讨论另外两种代数系统——格与布尔代数, 它 们与群、 环、 域的基本不同之处是: 格与布尔代数的基集 都是一个偏序集。 这一序关系的建立及其与代数运算之间 的关系是介绍的要点。 格是具有两个二元运算的代数系统, 它是一个特殊的偏序集, 而布尔代数则是一个 特殊的格。
于是, 我们有下列对偶原理。
第七章 格和布尔代数
定理7.1.2 如果命题P在任意格〈L, 〉上成立, 则
将L中符号∨, ∧,
∧, ∨,
P*在任意格〈L, 〉上也成立, 这里P*称为P的对偶式。
在上述对偶原理中, “如果命题P在任意格〈L, 〉
上成立”的含义是指当命题P中的变量取值于L中, 且上确
界运算为∨, 下确界运算为∧, 则P对于它们也成立。
第七章 格和布尔代数
再设a=a∧b, 则a∨b=(a∧b)∨b=b(由吸收律), 即
a∨b=b。
最后, 设b=a∨b, 则由a a∨b可得a b。
因此, (1)中3个命题的等价性得证。
(2) 因为 a a∨b, a a∨c, 故a (a∨b)∧(a∨c)。 又
因为
b∧c b a∨b b∧c c a∨c
条件是b a, 则〈L, 也是偏序集。 我们把偏序集〈L, 和〈L, 称为是相互对偶的。 并且它们所对应的哈
斯图是互为颠倒的。 关于格我们有同样的性质。 定理7.1.1 若〈L, 是一个格, 则〈L, 也是一
个格, 且它的并、 交运算∨r, ∧r对任意a, b∈L满足 a∨rb=a∧b,a∧rb=a∨b
证明 先证幂等性成立。 由吸收律知 a∧a=a∧(a∨(a∧b))=a a∨a=a∨(a∧(a∨b))=a
6.3格与布尔代数
![6.3格与布尔代数](https://img.taocdn.com/s3/m/619172fec8d376eeaeaa31a2.png)
格的性质(续)
6)、保序性:如果b≤c,那么a∧b≤a∧c a ∨ b≤a∨c 7)、分配不等式: •
a∨(b∧c)≤(a∨b)∧(a∨c); a∧(b∨c)≥(a∧b)∨(a∧c); 8)、模不等式: a≤b a∨(b∧c) ≤b∧(a∨c)
下一页
证明: (a∨b)∨c=a∨(b∨c)
先证: (a∨b)∨c ≤ a∨(b∨c) ∵ a ≤ a∨(b∨c) b ≤ b∨c ≤a∨(b∨c) ∴a∨b≤ a∨(b∨c) 又:c ≤ a∨(b∨c) 从而, (a∨b)∨c ≤ a∨(b∨c) 同理有 a∨(b∨c) ≤(a∨b)∨c , 由偏序的反传递性知,(a∨b)∨c=a∨(b∨c)
5的补元是2和3。
例:在<S24,|> 中
24 12 6 4 2 1 S24 8
最大元为24,最小元为1, 1和24互为补元, 3和8互为补元,
3
2,4,6,12均不存在补元。
例:
1 在如上图有界格中0和1互为补 a b c d 元而 a,b,c,d的补元均有三个, 譬如,a的补元是b,c,d。 0 1 a c 0 b 在下图中的有界格中,0和1互 为补元, 但a,b,c均不存在补元。
返回
代数格
定义10:设L是一个非空集合,∧,∨是L中的两 个二元运算,两个运算还满足a,b,c∈L (1)交换律 (2)结合律 a∧b=b∧a,a∨b=b∨a; (a∧b)∧c= a∧(b∧c), (a∨b)∨c=a∨ (b∨c); (3)吸收律 a∧(b∨c)= a, a∨(b∧c)= a
例1:
记作(L,≤,1,0)或记(L,∧,0,0,1)
例:(Sn,|)是格,则其是有界格,其中最大元是n,最小元 是1,因x∈Sn,1|x,x|n。
离散数学9-格与布尔代数
![离散数学9-格与布尔代数](https://img.taocdn.com/s3/m/cf15a1d658fb770bf68a5548.png)
17
定理4: 设<A, ∨, ∧>是格,对任意a, b, cA,有 (1)若a≤b和c≤d,则a∧c≤b∧d,a∨c≤b∨d (2)若a≤b,则a∧c≤b∧c,a∨c≤b∨c
18
证明:(1)如果a≤b,又b≤b∨d, 由传递性得 a≤b∨d, 类似由c≤d, d≤b∨d,由传递性得 c≤b∨d,这说明b∨d是{a, c}的上界,而a∨c是{a, c}的最小上界,所以a∨c≤b∨d。类似可证 a∧c≤b∧d。
则称b是a的补元,记为a′。若b是a的补元,则a也是b的补 元,即a与b互为补元。 一般说来,一个元素可以有其补元 ,未必唯一,也可能无补元。0′=1和1′=0。
37
定义12: 在有界格中,如果每个元素都有补元,则称格是有 补格。
由于补元的定义是在有界格中给出的,可知,有补格一定是 有界格。
38
定理11: 在有界分配格中,如果某元素有补元,则补元是唯 一的。
34
定理9: 设<A, ∧,∨, 0, 1>是有界格,则对于A中任意元素 a 都有 a∨1 = 1 a∧1 = a a∨0 = a a∧0 = 0
1称为全上界或最大元,0称为全下界或最小元。
图9-6中(a)(b)(c)都有最大元和最小元,所以都是有界格。
35
定理10: 有限格必定是有界格。
36
定义11: 设<A,∨,∧>是有界格,aA,如果存在bA使得 a∨b = 1 a∧b = 0
31
定义8: 设<A,∨,∧>是格,如果A中存在元素a,使得对于A中 任意元素x 都有a≼x,则称a为格(A , ≤)的全下界,用0表 示。如果L中存在元素 a, 使得对于L中任意元素 x 都有 x≼a则称a为格(A , ≤)的全上界,用1表示。全下界即是格 的最小元,是唯一的。全上界即是格的最大元,是唯一的 。
第6章 格与布尔代数
![第6章 格与布尔代数](https://img.taocdn.com/s3/m/9553d14ae45c3b3567ec8b39.png)
借助于子代数给子格下的定义: Def 设(L, +, ∙)是格, M L, 若(M, +, ∙)是 格, 则称(M, +, ∙)为(L, +, ∙)的子格(sunlattice).
显然, (M, +, ∙)为(L, +, ∙)的子格 M关于+和 ∙封闭.
Remark 设(L, +, ∙)是格, M L, (M, )是 格与(M, )是子格存在差异. 正因为这样, 才 借助于子代数对子格定义.
(L, )与(L, )? Def 对于任意关于格(L, )的命题, 将命题前 提和结论中的(1) 改为; (2)+ 改为; (3) 改 为+;(4)0改为1;(5)1改为0所得到的命题称 为原命题的对偶命题. Theorem 6-2 对于任意关于格(L, )的真命题, 其对偶命题亦为真.
Chapter 6 格与布尔代数
格论(1935)是一种重要的代数结构, 它是计算机语 言的指称语义的理论基础,在计算机应用逻辑研 究中有着重要作用. 布尔代数是英国数学家George Boole在1847年左右 在对逻辑思维法则进行研究时提出的,后来很多 数学家特别是E. V. Hungtington和E. H. Stone对布 尔代数的进行了一般化研究,在1938年C. E. Shannon发表的A Symbolic Analysis of Relay and Switching Circuits 论文,为布尔代数在工艺技术
2.格的两种定义的等价性 格的这两种定义是否是一回事? Theorem 6-7 偏序格(L, )与代数格(L, +, ∙)是 等价的. Proof () () x, y L : x y x y x. (1) 是偏序.
离散数学第七章格与布尔代数
![离散数学第七章格与布尔代数](https://img.taocdn.com/s3/m/8ffa71b44793daef5ef7ba0d4a7302768e996fc6.png)
contents
目录
• 格的概述 • 布尔代数 • 格与布尔代数的应用 • 格与布尔代数的关系 • 格与布尔代数的扩展知识
01
CATALOGUE
格的概述
格的定义与性质
定义
格是一个有序的二元组(L,≤),其中L 是非空集合,≤是L上的二元关系, 满足自反性、反对称性和传递性。
布尔代数性质
布尔代数具有一些基本性质,如交换 律、结合律、吸收律等,这些性质使 得布尔代数成为逻辑推理和电路设计 等领域的重要工具。
布尔代数的运算
逻辑与运算
逻辑与运算用符号"∧"表示,表示两个逻辑量同时 为真时结果才为真。
逻辑或运算
逻辑或运算用符号"∨"表示,表示两个逻辑量至少 有一个为真时结果才为真。
布尔代数的扩展运算
布尔函数的复合
01
通过将两个或多个布尔函数连接在一起,形成更复杂的布尔函
数。
布尔函数的展开
02
将一个复杂的布尔函数分解为简单的布尔函数,以便更好地理
解和分析。
布尔函数的化简
03
通过消除冗余的输入和输出,简化布尔函数的表示。
格与布尔代数在其他领域的应用
计算机科学
01
格与布尔代数在计算机科学中有着广泛的应用,例如
布尔代数用于描述命题逻辑和谓词逻辑中的各种关系和运算,而格理论则用于描述集合论和集合运算。
格与布尔代数的理论框架为逻辑推理提供了数学基础,有助于深入研究和理解逻辑推理的本质和规律。
计算机科学中的应用
01 02 03 04
计算机科学是离散数学的另一个重要应用领域,其中格与布尔代数在 计算机算法、数据结构和程序设计语言等方面有广泛应用。
格与布尔代数
![格与布尔代数](https://img.taocdn.com/s3/m/8d835c30a66e58fafab069dc5022aaea998f41f8.png)
格与布尔代数后述,一部分关于格与一部分关于布尔代数。
关于格格是数学中的一种代数结构,它被广泛用于数学、计算机科学和逻辑学等领域。
在数学中,格是一种偏序集合,它具有两个基本运算:上下拟合和交并运算。
其中,上下拟合是指存在最小上估和最大下估,而交并运算则是指对于任意两个元素都可以求出它们的最大公共上界和最小公共下界。
尽管最初格是在点集拓扑学中发现的,但它们的概念在其他领域中也扮演着重要角色,例如,它们在科学中被用来定义空间,它们被用来解决许多计算机科学问题,例如,程序正确性证明,它们与数据结构有关,在逻辑学中,格被用来理解一些推理系统。
关于布尔代数布尔代数是一种代数结构,它被广泛用于逻辑学、电子工程和计算机科学中。
布尔代数是邓纳-Bier恩论文提出的一种基于命题逻辑的代数系统,其中对于两个命题P和Q,存在两个二元运算,即并(∨)和交(∧)。
这种代数系统可以用0和1表示,其中0表示假,1表示真。
布尔代数中的一些重要性质是:交换律、结合律、分配律等。
尽管在布尔代数中并和交这两个朴素的逻辑运算都不是独立产生的概念,但该理论在数学和计算机科学中有着重要应用。
布尔代数不仅用于设计电路和硬件,还用于在计算机程序和算法中描述逻辑条件,可编程逻辑和任意逻辑等方面。
格与布尔代数的关系虽然格和布尔代数看起来似乎是两种完全不同类型的代数结构,但它们之间有着密切的联系。
一些格配合着一些次区域可以构成布尔代数;同样,对于一个布尔代数而言,它也可以被看作是某个格所描述的偏序集合。
在交集上平凡地定义结构子格也叫布尔子格。
一个布尔代数的子集都可以看做是一种决策支持系统(Decision Support System,DSS)或决策信息系统(Decision Information System,DIS)。
由此可见,布尔代数是格论的一种特例,而格论是布尔代数的一种扩展。
总体而言,格与布尔代数的关系很紧密。
事实上,这种关系已经在数学和计算机科学的广泛应用中得到了充分的体现。
格与布尔代数
![格与布尔代数](https://img.taocdn.com/s3/m/30bdcb69ee06eff9aef807dc.png)
布尔代数是计算机逻辑设计的基础,它是由格引出的,
格又是从偏序集引出的。所以我们先回顾一下偏序集。
<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,≤>是格,≤的逆关系记作≥,≥也是偏序关系。
布尔代数与布尔格
![布尔代数与布尔格](https://img.taocdn.com/s3/m/d50d4d820d22590102020740be1e650e52eacf1e.png)
1. 布尔代数(Boolean Algebra):
- 布尔代数是一种代数结构,它基于两个值:真(1)和假(0)。
- 布尔代数是由乔治·布尔(George Boole)于19世纪中期引入的,他开创了一种处理逻辑关系的代数体系。
- 布尔代数中的运算包括逻辑运算,如与、或、非等。
这些运算有时称为布尔运算。
- 布尔代数在逻辑电路设计、计算机科学、编程等领域中有广泛的应用,因为它提供了一种处理逻辑关系的简洁和精确的方式。
2. 布尔格(Boolean Lattice):
- 布尔格是指一个满足一些特定条件的偏序集合(partial order set),其中对于集合中的任意两个元素,都存在最小上界和最大下界。
- 布尔格中的元素通常是布尔代数中的子集。
- 布尔格结构在理论计算机科学、模型检测等领域中具有重要意义。
- 布尔格与布尔代数的关系在于,布尔代数的运算可以用来定义布尔格上的偏序关系,从而形成一个布尔格。
总体而言,布尔代数提供了一种处理逻辑关系的代数结构,而布尔格是一种数学结构,其中包含了布尔代数中的元素,并定义了它们之间的偏序关系。
这两者在计算机科学中有广泛的应用,特别是在逻辑电路设计、编程语言设计和形式化方法中。
第十五章 格与布尔代数
![第十五章 格与布尔代数](https://img.taocdn.com/s3/m/2dac588f9ec3d5bbfd0a74f6.png)
性质2:每个链<L,≤>都是分配格。 链
(|L|≥3)链
例:试判断下面两个哈斯图是否表示的是分配格?
a
a
b
c
bc d
d
e
e
(1)
(2)
显然(1)是格,但因为b(cd)= ba=b,而 (bc)(bd)=ee=e,故它不是分配格;显然(2)也是格 ,但因为c(bd)= ca=c,而(cb)(cd)=ed=d,故 它也不是分配格,
a
a
b
c
bc
d
d
e
e
(1)
(2)
a
b
c
e
d
f
g
(3)
例:证明<Sn,≤>是一个分配格。 证:设∧和∨分别为Sn上的交(或积)和并 (或和)运算,对于任意a,b,c∈Sn,有 a∨(b∧c)=lcm(a, gcd(b, c)) =gcd(lcm(a, b),lcm(a, c))=(a∨b∧(a∨c) a∧(b∨c)=gcd(a, lcm(b, c)) =lcm(gcd(a, b),gcd(a, c))=(a∧b)∨(a∧c) (事实上,上面是利用“最大公约数对最小公 倍数是分配的,最小公倍数对最大公约数也是分
显然,对于ab,有:
①ab≤a和ab≤b,则表明ab是a和b的下 界。
②若c≤a和c≤b,则c≤ab,这表明ab是a和 b的最大下界。
对于ab,有:
①a≤ab和b≤ab,则表明ab是a和b的上 界。
②若a≤c,且b≤c,则ab≤c,这表明ab是a 和b的最小上界。
例 设n为正整数,Sn为n的正因子的集合 ,≤为整除关系,则<Sn,≤>构成格。
解:a)的最小元是a,无最大元。b)既无最大元也 无最小元。c)无最小元,最大元是d。d)的最小元 是a,最大元是d。
分配格、有补格与布尔代数
![分配格、有补格与布尔代数](https://img.taocdn.com/s3/m/36d836f25ebfc77da26925c52cc58bd63186933d.png)
离散结构分配格、有补格与布尔代数教学目标基本要求(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互为补元.实例例:考虑下图中的格. 针对不同的元素,求出所有的补元。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
一、格的引入在上一章中讨论过偏序集与偏序关系时,已经把格定义为一种特殊的偏序集。
下面, 先回顾一下几个有关概念。
设<A;≤>是偏序集合, B 是A 的子集, 若任意 b∈B,b≤a,则a 是子集B 的上界。
若a′也是B 的上界, 有a≤a′,也即a是B的上界集合的最小元,这时称a 是子集B 的最小上界, 记为lub(B);类似地,若任意b∈B,a≤b,则a是B 的下界。
若a′也是B 的下界, 有a′≤a, 称a 是子集B 的最大下界, 记为glb(B)。
由最大元、最小元的唯一性可知,最大下界、最小上界若存在, 则唯一。
此外, 若b≤a 且b≠a, 则可用b<a 表示。
例子:1) 设有集合U={a, b, c}, U 的幂集P(U)上的包含关系⊆是一个偏序关系, 根据它的哈斯图(图9.5(a))可见, {a, b, c}是{a, b}和{b, c}的上界, 它也是{a, b}和{b, c} 的最小上界, {b}和∅均是{a, b}和{b, c}的下界, 其中{b}是它们的最大下界。
{a, b, c} 和{a, b}是{a, b}和{b}的上界, 其中{a, b}是最小上界。
2) 集合A={2, 3, 4, 6, 8, 12, 36, 60}上的整除关系“|”是一个偏序, 由它的哈斯图可以看出, 2 和3 没有下界, 因而没有最大下界;8 和12 没有上界, 因而也没有最小上界。
▊由上述例子可以看出:对任意一个偏序集来说, 其中每一对元素不一定都有最大下界或最小上界。
对于其中每一对元素有最大下界和最小上界的一类偏序集, 就是这里所要讨论的格。
二、格的定义和例子定义1:设<A;≤>是一个偏序集, 如果A 中任意两个元素均有最小上界和最大下界, 那么就说A 关于偏序“≤”作成一个格(Lattice), 有时直接称A 为格。
当一个格A 中的元素是有限时, 称格A 是个有限格。
对于一个有限格<A;≤>来说, A中的偏序关系可以通过偏序集A 的哈斯图表示, 这个图也称为格A 的次序图。
例子1) 偏序集<P(U);⊆>, 对于任意 S1, S2∈P(U), S1, S2⊆U, 有S1⊆S1∪S2,S2⊆S1∪S2, 并且若有子集S⊆U, 使得S1⊆S, S2⊆S, 必有S1∪S2⊆S。
因此, 对于任意 S1, S2∈P(U),lub(S1, S2)=S1∪S2;同理可得, 对于任意 S1, S2∈P(U), glb(S1, S2)=S1∩S2, 于是<P(U);⊆>是一个格。
2) 设n 是一个正整数, S n 是n 的所有因子的集合。
例如, 当n=30 时, S30={1, 2, 3, 5, 6, 10, 15, 30}。
设“|”是整除关系, 则由偏序集<S30;|>的哈斯图易知它是格。
类似地, 也容易判断<S6;|>, <S8;|>, <S24;|>也是格。
其实, 对于偏序关系“|”, S n 中子集{i,j}的最小上界就是i, j 的最小公倍数, 最大下界就是i,j 的最大公因数。
3) 设P 是所有的命题集合, “→”为蕴涵关系, 则对任意P1, P2∈P, glb(P1, P2)=P1∧P2,lub(P1, P2)=P1∨P2, 因此<P; →>是一个格。
注意, 如果偏序集<S;≤>是格, 则任意两个元素a、b 在格内存在唯一的最小上界和最大下界。
于是, 求最小上界和最大下界是格<S;≤>中的两个二元运算。
这两个运算可分别用符号“∨”、“∧”表示。
即在格<S;≤>中, 任意a, b ∈ S, lub(a,b)=a∨b,glb(a,b)=a∧b。
三、格的对偶原理及基本性质。
格的对偶原理是格的一个主要性质, 它与数理逻辑部分介绍的对偶定理是类似的, 这将有利于处理“对一切格都成立”的这一类成对出现的命题。
这里不对格的对偶原理作具体证明。
集合S 的偏序关系≤的逆关系≥也是偏序关系, 若A⊆S,其中≤的glb(A)对应于≥的lub(A),≤的lub(A)对应于≥的glb(A),所以, 若<S;≤>是格, 则<S;≥>也是格, 称这两个格互为对偶。
定理一(格的对偶原理)因为<S;≤>的∧是<S;≥>的∨, <S;≤>的∨是<S;≥> 的∧, 所以, 关于格的一般性质的任意命题P, 如用≥替换≤, 用∨替换∧, 用∧替换∨, 所得到的命题P′仍成立, 这称为格的对偶原理。
下面定理给出了格的基本性质。
定理二(格的基本性质):设<L;≤>是一个格, ∨, ∧为求任意二元素最小上界和最大下界的二元运算,则对于任意a, b, c, d∈L, 满足1) 自反性 a≤a, 对偶命题 a≥a。
2) 反对称性 a≤b 且a≥b⇒a=b 对偶命题 a≥b 且a≤b⇒a=b。
3) 传递性 a≤b 且b≤c⇒a≤c 对偶命题 a≥b 且 b≥c ⇒a≥c4) 幂等律 a∧a=a 对偶命题 a∨a=a5) 交换律 a∧b=b∧a 对偶命题 a∨b=b∨a6) 最大下界描述a∧b≤a,a∧b≤b 对偶命题 a∨b≥a,a∨b≥bc≤a,c≤b⇒c≤a∧b 对偶命题 c≥a,c≥b⇒c≥a∨b7) 结合律 a∧(b∧c)=(a∧b)∧c 对偶命题 a∨(b∨c)=(a∨b)∨c8) 吸收律 a∧(a∨b)=a 对偶命题 a∨(a∧b)=a9) a≤b⇔a∧b=a⇔a∨b=b 对偶命题 a≥b⇔a∨b=a⇔a∧b=b10) a≤c,b≤d⇒a∧b≤c∧d 且a∨b≤c∨d11) 保序性 b≤c⇒a∧b≤a∧c 且a∨b≤a∨c12) 分配不等式 a∨(b∧c)≤(a∨b)∧(a∨c) 对偶命题 a∧(b∨c)≥(a∧b)∨(a∧c)四、格的第二定义:定义2 设有代数结构<L;∧,∨>,其中是集合, ∧,∨是L 上两个二元运算, 若∧,∨均满足结合律、交换律、∧和∨吸收律, 则称<L;∧,∨>是格, 称该代数结构为格代数。
例如,幂集格<P(U);⊆>也可以认为是<P(U);∩,∪>要证明这两个定义等价,只须证明由这两个二元运算可以唯一的确定一个偏序关系即可,这里从略。
五、分配格定义3 称格< L; ∨,∧>为分配格(Distributive lattice)。
如果它满足分配律, 即对任意a,b,c ∈L,a∧(b∨c)=(a∧b)∨(a∧c) (1)a∨(b∧c)=(a∨b)∧(a∨c) (2)需要说明的是, 上述定义中的两个等式事实上是等价的, 因此可以去掉其中一个。
因为根据等式(1) 有, a∨(b∧c)=(a∨(a∧c))∨(b∧c)=a∨((a∧c)∨(b∧c))=a∨((a∨b)∧c)=((a∨b)∧a)∨((a∨b)∧c)=(a∨b)∧(a∨c), 即等式(2)。
反之, 也可以由(2)得到等式(1)。
例1设A 是任意的集合, 则幂集格<P(A);∪, ∩>为分配格。
由集合的并∪和集合的交∩的性质容易得到此结论。
例2 设<S;∨, ∧>是一个分配格, 对于任意的a, b, c∈S, 如果a∧b=a∧c, a∨b=a ∨c,则有b=c。
证明b=b∨(b∧a)=b∨(c∧a)=(b∨c)∧(b∨a)=(c∨b)∧(c∨a)=c∨(b∧a)=c∨(c ∧a)=c。
证毕。
六、格的最大元和最小元----有界格类似于偏序集, 格中也可能存在最大元、最小元, 且如果存在则惟一。
定义4设<S;∨, ∧>是一个格, 如果存在一个元素a∈S, 对于任意的x∈S, 均有x≤a(或a≤x), 则称a 是格S 的一个最大(或最小)元。
当一个格中最大元、最小元均存在时, 则称S 是个有界格。
格的最大元、最小元如果存在, 其惟一性是容易证明的。
设a, b 是格S 的两个最大元素, 则有a≤b 和b≤a。
而<S;≤>是个偏序集, 所以由反对称性知a=b。
于是格L 中最大元是惟一的。
同理, 可证最小元素也必定是惟一的。
如果格的最大元、最小元如果存在, 通常用1 来表示这个惟一的最大元, 用0 来表示这个最小元。
例在幂集格<P(A);∪, ∩>中, 1=A, 0=∅。
七、有补格定义5 设< L;∨,∧>为有界格, a 为L 中一元素, 如果a∨b=1, a∧b=0,则称b 为a 的补元或补( Complements ). 有界格< L, ∨,∧>称为有补格(Complemented lattice) 如果L 中每个元素都有补元。
显然, 补元是相互的, 即b 是a 的补元, 那么a 也是b 的补元。
此外, 0 和1 互为补元。
有补格中, 元素0, 1 的补元是惟一的。
假设a 也是1 的补元, 那么a∧1=0,即a=0. 因此1 的补元仅为0. 同样0 的补元仅为1 。
例幂集格<P(A);∪, ∩>是一个有补格。
P(A)含有最大元素1(=A), 最小元素0(=∅), 于是<P(A);∪, ∩>是一个有界格, 对于任意A1∈P(A), 则有A-A1=B∈P(A)满足A1∪B=A, A1∩B=∅, 于是A1 有补元A-A1∈P(A), 故<P(A);∪, ∩>是有补格。
八、布尔代数定义6 如果格<L;∨, ∧>既是分配格, 又是有补格, 则称为布尔代数(也称为有补分配格或布尔格), 如果一个布尔代数的元素是有限的, 则称它是一个有限布尔代数。
例如,幂集格< P(A);∪, ∩>就是一个有补分配格。
容易证明有补分配格中每个元素的补都是唯一的。
于是, 求补运算“′”是一个布尔代数S 中的一个一元运算。
这样, 布尔代数L 是一具有两个二元运算∨, ∧, 一个一元运算′(求补)的代数结构。
以后用<L;∨, ∧, ′>或<L;+, •, ->来表示布尔代数。
也常常用<L;∨, ∧, ′,0,1>或<L;+, •, -, 0, 1>来表示布尔代数, 其中0, 1 分别为最小元、最大元。
代数是个有补分配格, 从而关于格、分配格和有补格中成立的一切性质或运算定律在一个布尔代数中也都成立, 包括交换律、结合律、等幂律、吸收律、分配律、同一律、零一律、互补律、对合律以及德·摩根律等。
下面的定理3 指出了有补分配格中补运算的部分性质。
定理3 设<S;∨, ∧>是一个有补分配格, 则有:1) 对合律成立, 即对于S 中任意元素a 有(a′)′=a;2) 德·摩根律成立, 即对于任意a, b∈S, 有:(a∨b)′=a′∧b′, (a∧b)′=a′∨b′3) 对于任意a, b∈S, 有:(a≤b)⇔(a∧b′=0)⇔(a′∨b=1)。