离散数学12格和布尔代数
- 格式:doc
- 大小:515.00 KB
- 文档页数:9
离散数学是一门研究离散结构和离散对象的数学学科,它在计算机科学等领域扮演着重要的角色。
布尔函数和布尔代数是离散数学中的重要概念之一,它们在逻辑电路设计、计算机编程等方面具有广泛的应用。
布尔函数是一种将布尔域上的值映射为布尔域上的值的函数。
布尔域上的值只有两个:真和假。
布尔函数的输入和输出都是布尔值。
布尔函数可以通过真值表、函数表达式或者逻辑电路图表示。
常见的布尔运算有与运算、或运算、非运算等。
布尔函数可以定义在不同的布尔变量上,而布尔变量可以取真或假两个值。
通过组合不同的布尔运算,可以构造出复杂的布尔函数。
布尔代数是研究布尔函数性质和运算规则的代数系统。
布尔代数的基本操作有与运算、或运算、非运算等。
与运算、或运算和非运算是布尔函数的基本运算,在布尔代数中具有特殊的性质。
例如,与运算满足交换律、结合律和分配律;或运算满足交换律、结合律和分配律;非运算满足德摩根定律。
布尔代数还有很多其他的运算规则,如吸收律、零元律、幂等律等。
这些运算规则可以用来简化布尔函数,使其更加简洁明了。
布尔函数和布尔代数在逻辑电路设计中起着重要的作用。
逻辑电路是一种基础的电子电路,用来完成逻辑运算。
布尔函数可以用来描述逻辑电路的功能,布尔代数可以用来简化逻辑电路。
通过布尔函数和布尔代数可以设计出各种复杂的逻辑电路,如逻辑门、多路选择器、时序电路等。
逻辑电路在计算机硬件中广泛应用,是计算机工作的基础。
因此,研究布尔函数和布尔代数不仅有助于理解离散数学的基本概念,也对计算机科学和工程领域有着重要的实际意义。
此外,布尔函数和布尔代数在计算机编程中也具有重要的应用。
计算机程序是一系列指令的集合,通过执行这些指令实现特定的功能。
布尔函数可以用来描述程序中的条件和逻辑关系,判断某个条件是否成立,从而确定程序的执行路径。
布尔代数可以用来简化程序的逻辑表达式,使程序更加高效和可读。
在编程语言中,布尔变量和布尔运算是基础数据类型和基本运算符之一,它们与布尔函数和布尔代数密切相关。
离散数学是数学的一个重要分支,研究的是离散结构和离散对象的性质。
代数系统和布尔代数是离散数学中的两个重要概念。
代数系统是研究集合上的运算的一种数学结构。
它由集合和一组运算所组成,其中运算可以是两个对象相互运算得到一个新的对象,也可以是一个对象自身经过某种运算得到一个新的对象。
代数系统包括了很多种类,例如群、环、域等等。
其中,布尔代数是代数系统的一种重要类型。
布尔代数是一种二元代数系统,它研究的是关于真值和逻辑运算的代数。
在布尔代数中,我们考虑的对象是命题,而运算包括了与、或、非等等。
布尔代数主要用于逻辑运算和电路设计中。
布尔代数中的命题可以用真和假来表示,它们分别对应于数学中的1和0。
与、或、非等运算在布尔代数中也有对应的符号,分别是∧、∨、¬。
这些符号在逻辑运算中扮演重要角色。
布尔代数的运算有很多有趣的性质。
比如,与运算满足交换律、结合律、分配律等等;或运算满足交换律、结合律、分配律等等;非运算满足逆运算和恒等律。
这些性质使得布尔代数具有很强的推理和运算能力。
布尔代数在逻辑运算中有着广泛的应用。
在计算机科学中,布尔代数被用于电路设计和逻辑推理;在人工智能领域,布尔代数被用于知识表示和推理;在运筹学中,布尔代数被用于约束求解和优化问题。
布尔代数的应用广泛而深入,是离散数学中的重要工具之一。
总结起来,离散数学中的代数系统和布尔代数是两个重要的概念。
代数系统研究的是集合上的运算,而布尔代数研究的是关于真值和逻辑运算的代数。
布尔代数具有许多有趣的性质和广泛的应用,是离散数学中的一个重要工具。
第十三章格与布尔代数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}的最小上界。
离散数学中的布尔代数知识点介绍离散数学是计算机科学和数学中的一个重要分支,而布尔代数则是离散数学中的一个基础概念。
布尔代数是一种逻辑推理和计算的数学体系,其基本概念和运算规则直接应用于计算机计算和逻辑设计中。
一、布尔代数的基本概念布尔代数有两个基本元素:命题和逻辑操作符。
命题是关于真(True)和假(False)的陈述,可以用字母或其他符号表示。
逻辑操作符包括与(AND)、或(OR)、非(NOT)三种基本运算符,用于对命题进行逻辑运算。
二、布尔代数的基本运算规则1. 与运算(AND):只有当两个命题都为真时,与运算的结果才为真。
用符号“∧”表示,例如命题A∧B表示“命题A和命题B都为真”。
2. 或运算(OR):只要两个命题中有一个为真,或运算的结果就为真。
用符号“∨”表示,例如命题A∨B表示“命题A或命题B为真”。
3. 非运算(NOT):将命题的真值取反,即将真变为假,将假变为真。
用符号“¬”表示,例如¬A表示“命题A的取反”。
三、布尔代数的重要性布尔代数在计算机科学和逻辑设计中具有重要的应用。
布尔代数提供了一种形式化的工具,可以对逻辑关系和计算过程进行精确的描述和处理。
利用布尔代数的运算规则,可以进行逻辑推理、逻辑运算和逻辑设计。
布尔代数为计算机的基本运算提供了理论基础,是计算机科学不可或缺的一部分。
四、布尔代数的应用领域1. 逻辑电路设计:布尔代数的基本运算规则可以用于逻辑门电路的设计与分析。
逻辑门电路由与门、或门、非门等基本门电路组成,通过布尔代数的运算规则可以进行电路的优化和逻辑设计。
2. 程序设计与算法分析:布尔代数在程序设计和算法分析中具有重要地位。
利用布尔代数的运算规则,可以对程序的逻辑关系进行抽象和分析,确保程序的正确性和可靠性。
3. 数据库查询与管理:布尔代数可用于数据库查询和管理中的条件表达式构建。
通过布尔代数的运算规则,可以对数据库数据进行选择、过滤和计算,实现对数据的高效管理与查询。
离散数学是数学中的一个分支,主要研究离散、离散结构及其性质。
其中,布尔代数和逻辑运算是离散数学中的重要内容。
布尔代数是离散数学中的一个分支,它是建立在两个元素的集合上的一种数学结构。
布尔代数的基本元素是0和1,分别表示假和真。
在布尔代数中,有四种基本运算:与(AND)、或(OR)、非(NOT)和异或(XOR)。
这些运算在逻辑中起着至关重要的作用。
布尔代数可以应用于计算机科学、电路分析和逻辑推理等领域。
逻辑运算是根据一定的规则对命题进行运算的过程。
逻辑运算包括命题的合取(AND)、析取(OR)、否定(NOT)和条件(IF-THEN)等。
布尔代数是逻辑运算的数学基础,在逻辑运算中起着重要的作用。
通过布尔代数的运算规则,可以对逻辑表达式进行简化,并得出正确的逻辑推理结果。
布尔代数和逻辑运算在计算机科学中有广泛的应用。
在计算机中,所有的数据都是以二进制形式存储和运算的。
布尔代数的基本元素0和1对应于计算机中的假和真。
通过布尔代数的运算规则,可以实现复杂的逻辑运算,如逻辑与、逻辑或、逻辑非等。
这些逻辑运算在编程中经常使用,可以实现条件判断、循环控制等逻辑功能。
布尔代数的运算规则也被应用于逻辑电路的设计和分析,如与门、或门和非门等。
此外,布尔代数和逻辑运算还广泛应用于电路分析和数字电子技术中。
在电路分析中,逻辑门是一个重要的电路元件,用于实现布尔运算。
通过逻辑门的组合,可以实现不同逻辑函数的实现。
逻辑门通过电平的输入和输出来进行逻辑运算,具有高可靠性和稳定性。
逻辑门的组合可以实现各种电路和系统的设计和实现,如计算机的中央处理器、存储器和输入输出接口等。
总而言之,离散数学中的布尔代数和逻辑运算在计算机科学、电路分析和逻辑推理等领域起着重要的作用。
通过对布尔代数和逻辑运算的理解和应用,可以优化电路设计、简化逻辑运算和提高计算机编程的效率。
布尔代数和逻辑运算是离散数学中的重要内容,深入研究和应用布尔代数和逻辑运算对于理解计算机科学和电子技术具有重要意义。
离散数学布尔代数离散数学(discrete mathematics)是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支。
离散的含义是指不同的连接在一起的元素,主要是研究基于离散量的结构和相互间的关系,其对象一般是有限个或可数个元素。
简介离散数学在各学科领域,特别在计算机科学与技术领域有著广为的应用领域,同时离散数学也就是计算机专业的专业课程,例如程序设计语言、数据结构、操作系统、编程技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。
通过离散数学的自学,不但可以掌控处置线性结构的叙述工具和方法,为时程课程的自学创造条件,而且可以提升抽象思维和严苛的逻辑推理能力,为将来参予创新性的研究和研发工作奠定稳固的基础。
发展随着信息时代的到来,工业革命时代以微积分为代表的已连续数学占到主流的地位已经出现了变化,离散数学的重要性逐渐被人们重新认识。
离散数学课程所传授的思想和方法,广为地彰显在计算机科学技术及有关专业的诸领域,从科学计算至信息处理,从理论计算机科学至计算机应用技术,从计算机软件至计算机硬件,从人工智能至心智系统,无不与离散数学密切相关。
由于数字电子计算机就是一个线性结构,它就可以处置线性的或线性化后了的数量关系,因此,无论计算机科学本身,还是与计算机科学及其应用领域密切相关的现代科学研究领域,都遭遇着如何对线性结构建立相应的数学模型;又如何将已用已连续数量关系创建出来的数学模型线性化,从而可以由计算机予以处置。
离散数学是传统的逻辑学,集合论(包括函数),数论基础,算法设计,组合分析,离散概率,关系理论,图论与树,抽象代数(包括代数系统,群、环、域等),布尔代数,计算模型(语言与自动机)等汇集起来的一门综合学科。
离散数学的应用遍及现代科学技术的诸多领域。
离散数学也可以说道就是计算机科学的基础核心学科,在离散数学中的存有一个知名的典型例子-四色定理又称四色悖论,这就是世界近代三小数学难题之一,它就是在年,由英国的一名绘图员弗南西斯·格思里明确提出的,他在展开地图着色时,辨认出了一个现象,“每幅地图都可以仅用四种颜色着色,并且共同边界的国家都可以被着上时相同的颜色”。
离散数学布尔代数与逻辑离散数学是数学的一个分支,研究离散的、离散的结构和离散的现象。
而布尔代数是离散数学的重要组成部分,是代数学中关于二元关系的理论。
同时,与布尔代数密切相关的是逻辑学,研究命题的真值、论证的正确性以及推理的方法。
一、布尔代数基础布尔代数是一种逻辑代数,它使用逻辑运算符号和变量,描述和分析命题逻辑关系。
在布尔代数中,变量只有两个取值,即真(用1表示)和假(用0表示)。
布尔代数的基本运算包括逻辑与、逻辑或和逻辑非。
逻辑与表示当且仅当两个变量都为真时,结果为真;逻辑或表示当至少有一个变量为真时,结果为真;逻辑非表示当某个变量为真时,结果为假,反之亦然。
在布尔代数中,可以使用真值表来描述和分析布尔函数的取值情况。
布尔函数是指由布尔代数运算符组成的表达式,它接受一个或多个输入变量,并产生一个输出变量。
布尔函数在逻辑电路设计、计算机科学、编程等领域中有广泛的应用。
通过真值表分析布尔函数的取值规律,可以优化逻辑电路的设计和布尔函数的运算。
二、逻辑学与命题逻辑逻辑学是研究推理和论证的科学,其中命题逻辑是逻辑学的一个重要分支。
命题逻辑的基本概念是命题,它是陈述句,可以被判断为真或假。
命题逻辑使用逻辑连接词和命题变量来组成复合命题,并通过逻辑运算符来描述复合命题之间的关系。
逻辑连接词包括逻辑与、逻辑或、逻辑非、蕴涵和等价。
逻辑与表示两个命题同时为真时,复合命题为真;逻辑或表示两个命题至少有一个为真时,复合命题为真;逻辑非表示命题的否定,即真变为假,假变为真;蕴涵表示如果第一个命题为真,则第二个命题为真,否则为假;等价表示两个命题具有相同的真值。
逻辑学通过推理规则和推理方法来分析和判断复合命题的真假。
其中包括代入规则、假言推理、拒取否定、双重否定等推理规则。
通过应用这些推理规则,可以推导出逻辑上正确的结论,并解决实际问题中的逻辑推理和决策问题。
三、离散数学中的应用离散数学是计算机科学和信息技术的基础学科,广泛应用于计算机算法、数据结构、数据库、图论等领域。
离散数学公式大全总结离散数学是数学中的一个分支,涵盖了许多概念和公式。
以下是一些离散数学中常见的公式和概念的总结:1. 集合理论:集合并:$A \cup B = {x | x \in A \text{或} x \in B}$集合交:$A \cap B = {x | x \in A \text{且} x \in B}$集合补:$A' = {x | x \notin A}$集合差:$A - B = {x | x \in A \text{且} x \notin B}$幂集:如果$A$有$n$个元素,$P(A)$有$2^n$个子集。
容斥原理:$|A \cup B| = |A| + |B| - |A \cap B|$2. 排列和组合:排列数:$P(n, k) = \frac{n!}{(n - k)!}$组合数:$C(n, k) = \frac{n!}{k!(n - k)!}$二项定理:$(a + b)^n = \sum_{k=0}^{n}C(n, k)a^{n-k}b^k$3. 图论:手握定理:$2 \cdot \text{边数} = \sum \text{度数}$欧拉图:一个连通图是欧拉图,当且仅当每个顶点的度数都是偶数。
哈密顿图:包含图中每个顶点的圈。
图着色:给定图中的顶点,用尽量少的颜色对它们进行着色,使得相邻的顶点颜色不相同。
图的最短路径:Dijkstra算法和Floyd-Warshall算法用于找到图中的最短路径。
4. 布尔代数:布尔变量:$0$表示假,$1$表示真。
逻辑与:$A \land B$逻辑或:$A \lor B$逻辑非:$\lnot A$逻辑与门:$AND$逻辑或门:$OR$逻辑非门:$NOT$布尔恒等定律:$A \land 1 = A$,$A \lor 0 = A$德·摩根定律:$\lnot (A \land B) = \lnot A \lor \lnot B$,$\lnot (A \lor B) = \lnot A \land \lnot B$5. 树和图:树的顶点数与边数关系:$V = E + 1$二叉树的性质:最多有$2^k$个叶子节点,高度为$h$的二叉树最多有$2^{h+1} - 1$个节点。
第十二章 格和布尔代数12.1 设c b a ,,是格),( A 中的元素,求证:如果b a ,则)()(c a b c b a ∨∧∧∨证明因为b a ,且)(c a a ∨ ,所以)(c a b a ∨∧ 。
又因为b c b ∧,且c a c c b ∨∧ ,所以)(c a b c b ∨∧∧ 。
即)(c a b ∨∧是a 和c b ∧的上界,从而有:)()(c a b c b a ∨∧∧∨ 。
12.2 设c b a ,,是格),( A 中的元素,求证: (1))()()(c a b a c b a ∨∧∨∧∨ (2))( )()(c b a c a b a ∨∧∧∨∧ (1)证明因为c a a b a a ∨∨ ,,所以)()(c a b a a ∨∧∨ 。
又因为b a b c b ∨∧ ,且c a c c b ∨∧ ,所以)()(c a b a c b ∨∧∨∧ 。
即)()(c a b a ∨∧∨是a 和c b ∧的上界。
所以,)()()(c a b a c b a ∨∧∨∧∨ 。
(2)证明因为a b a ∧,a c a ∧,则有a c a b a )()(∧∨∧。
又因为b b a ∧,有c b b b a ∨∧ ,同理c b c a ∨∧ 。
从而有c b c a b a ∨∧∨∧ )()(。
即)()(c a b a ∧∨∧是a 和c b ∨的下界。
因此,)( )()(c b a c a b a ∨∧∧∨∧ 。
10.3 设),,(∧∨A 是一个代数系统,其中∨和∧是满足吸收律的二元运算,证明:∨和∧也满足等幂律。
证明因为∨和∧是满足吸收律,所以a b a a =∨∧)(,a b a a =∧∨)(。
于是有:)((b a a a a a ∧∨∧=∧)(c a a ∨∧= (其中b a c ∧=) a =同理可证,a a a =∨。
故∨和∧也满足等幂律。
10.4 证明:一个格是可分配的,当且仅当对于这个格中的任意元素a ,b 和c ,有)()(c b a c b a ∧∨∧∨证明(1)必要性因为a c a ∧和c b c b ∧∧ ,所以)()()(c b a c b c a ∧∨∧∨∧ 。
又因为格为分配格,所以)()()(c b c a c b a ∧∨∧=∧∨。
因此,)()(c b a c b a ∧∨∧∨ 。
(2)充分性因为对于c b a ,,∀,有)()(c b a c b a ∧∨∧∨ ,则)()()(c c b a c b a ∧∧∨=∧∨ (等幂律)c c b a ∧∧∨=))(( (结合律) c c b a ∧∧∨))(( (假设) c a c b ∧∨∧=))(( (交换律) )()(c a c b ∧∨∧ (假设)又因为b a a ∨ ,c c ,所以c b a c a ∧∨∧)( ;同理,c b a c b ∧∨∧)( 因此,c b a c b c a ∧∨∧∨∧)()()( 综上所述,)()()(c b c a c b a ∧∨∧=∧∨ 故该格是可分配的。
10.5 证明一个格),( A 是分配的,当且仅当对A 中的任意元素a ,b 和c ,有)()()()()()(a c c b b a a c c b b a ∨∧∨∧∨=∧∨∧∨∧证明(1)必要性因为格),( A 是分配的,所以对于任意的A c b a ∈,,,我们有:)()()()()()()())(())(())()(())()(()()()(a c c b b a a c a b c b c a a c b c b a a c b b a c c b b a a c c b b a ∨∧∨∧∨=∨∧∨∧∨∧∨=∨∧∧∨∧=∨∧∨∧∧∨∧∨∧=∧∨∧∨∧(2)充分性因为对于任意的A c b a ∈,,,我们有:)()()()()()(a c c b b a a c c b b a ∨∧∨∧∨=∧∨∧∨∧从而把上式中的c b a ,,分别代以)(,),()(c b a c a b a ∨∨∧∨得:)))()(()(())(()))()(((c a b a c b c b a a c a b a ∨∧∨∧∨∨∨∧∨∧∨∧∨ )))()(()(())(()))()(((c a b a c b c b a a c a b a ∨∧∨∨∨∧∨∨∧∨∨∧∨=因为,)))()(()(())(()))()(((c a b a c b c b a a c a b a ∨∧∨∧∨∨∨∧∨∧∨∧∨ )))()(()(())(()))(()((c a b a c b c b a a c a b a ∨∧∨∧∨∨∨∧∨∧∨∧∨= )))()(()(())(())((c a b a c b c b a a b a ∨∧∨∧∨∨∨∧∨∧∨= ))()()(()))(((c a b a c b c b a a ∨∧∨∧∨∨∨∧∨=))()())((c a b a c b a ∨∧∨∧∨∨= ))()()((a c c b b a a ∧∨∧∨∧∨= )()())((a c c b b a a ∧∨∧∨∧∨= )()(a c c b a ∧∨∧∨= )())((c b a c a ∧∨∧∨= )(c b a ∧∨=又因为)))()(()(())(()))()(((c a b a c b c b a a c a b a ∨∧∨∨∨∧∨∨∧∨∨∧∨ )()()()()()(c b a c b a c b a c b a c a b a ∨∨∧∨∨∧∨∨∧∨∨∧∨∧∨=)()()(c b a c a b a ∨∨∧∨∧∨= )))(()(()(b c a c a b a ∨∨∧∨∧∨= )()(c a b a ∨∧∨=因此,)()()(c a b a c b a ∨∧∨=∧∨。
由对偶定理知,)()()(c a b a c b a ∧∨∧=∨∧。
故),( A 是分配格。
12.6 一个格),( A 称为模格,如果对A 中任意的a ,b 和c ,有c b a c b a ∧∨=∧∨)()(,其中c a 。
证明一个格是模格,当且仅当下述条件成立)()())((c a b a c a b a ∨∧∨=∨∧∨证明(1)必要性由于),( A 是一个格,且对于A c b a ∈∀,,,都有)()())((c a b a c a b a ∨∧∨=∨∧∨。
因为c a 时,有c c a =∨,所以c b a c b a ∧∨=∧∨)()(。
故),( A 是模格。
(2)充分性若),( A 是模格,则对于A c b a ∈∀,,,当c a 时,有c b a c b a ∧∨=∧∨)()(。
因为c a a ∨ ,所以,在上式中将c 代以c a ∨得:)()())((c a b a c a b a ∨∧∨=∨∧∨。
12.7 证明,在一个布尔代数中,有b a b a a ∨=∧∨)(和b a b a a ∧=∨∧)(。
证明b a b a b a a a b a a ∨=∨∧=∨∧∨=∧∨)(0)()()( b a b a b a a a b a a ∧=∧∨=∧∨∧=∨∧)(0)()()(12.8 设),,,(∧∨A 是一个布尔代数,证明),(⊕A 是一个交换群。
其中⊕定义为:对于A b a ∈,有)()(b a b a b a ∧∨∧=⊕证明(1)封闭性对于A b a ∈∀,,由于,,∧∨这三个运算在A 上是封闭的,所以,A b a b a b a ∈∧∨∧=⊕)()(。
(2)结合律对于任意的A c b a ∈,,,有c b a b a c b a ⊕∧∨∧=⊕⊕))()(()())()(()))()(((c b a b a c b a b a ∧∧∨∧∨∧∧∨∧= )))()((()()(c b a b a c b a c b a ∧∨∧∨∨∧∧∨∧∧= )))()((()()(c b a b a c b a c b a ∧∧∨∧∨∧∧∨∧∧= )()()()(c b a c b a c b a c b a ∧∧∨∧∧∨∧∧∨∧∧=同理可得:)()()()()(c b a c b a c b a c b a c b a ∧∧∨∧∧∨∧∧∨∧∧=⊕⊕ 因此,c b a c b a ⊕⊕=⊕⊕)()(。
(3)幺元对于任意的A a ∈,我们有:a a a a a a =∨=∧∨=∧∨∧=⊕0)1(0)0()0(0 a a a a a a =∧=∨∧=∧∨∧=⊕10)1()0()0(0因此,0是A 中关于运算⊕的幺元。
(4)逆元对于任意的A a ∈,有000)()(=∨=∧∨∧=⊕a a a a a a 因此,a 的逆元为a 。
(5)交换律对于A b a ∈,,我们有a b a b a b b a b a b a ⊕=∧∨∧=∧∨∧=⊕)()()()(。
综上所述,),(⊕A 是一个交换群。
12.9 用哈斯图给出一个四个元的格,它是分配格,但不是有补格。
解哈斯图如图12.1)(a 所示:图12.1 习题9-10答图12.10 画两个五个元的格,一个是分配格,一个不是分配格,用哈斯图表示。
解图12.1)(b 所示为分配格; 图12.1)(c 所示不为分配格。
12.11 )1,0,,,(⋂⋃S 是一个分配格,令}|{'的补是x x S x A ∈=,证明A 是S 的子格。
证明由于0,1互为补元,所以A ∈1,0,故A 非空。
对于任意的A b a ∈,,存在S b a ∈',',使','b a 分别为b a ,的补元。
因为S 是一个有界分配格,有000)''()''()''()''()''()(=∨=∧∧∨∧∧=∧∧∨∧∧=∧∧∨b b a b a a b b a a b a b a b a111)''()''()''()''()''()(=∧=∨∨∧∨∨=∨∨∧∨∨=∧∨∧b b a b a a b b a a b a b a b a同理可证1)''()(=∧∨∨b a b a0)''()(=∨∧∧b a b a因此,b a b a ∧∨,均具有补元,从而A b a b a ∈∧∨,。
所以,A 是S 的子格。
12.12 }60,30,12,6,5,4,23,1{=A ,对于A y x ∈∀,,R y x ∈),(当且仅当y x |。
(1)画出),(R A 的哈斯图。