满足交换律.PPT

计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * * 计算机学院 * 格与布尔代数 下面讨论两个重要的代数系统——格与布尔代数。布尔代数是人们利用数学方法研究人类思想规律的一项重要成果。布尔代数在逻辑电路设计和开关网络研究中有着广泛的应用，是计算机科学必需的基础知识。 布尔代数是一类特殊的格代数，在格与布尔代数中，偏序关系具有重要意义。本章将从格的偏序定义出发，研究格系统的各种性质，建立布尔代数的基本理论。 * 计算机学院 * 本章的主要内容 格的概念和基本性质 子格的定义 保序定理 特殊的格及性质 布尔代数的概念和基本性质 布尔表达式 * 计算机学院 * 格的定义 定义17.1（代数格） 设L，∨，∧是一个代数系统，如果∨，∧满足： 交换律：a∨b=b∨a，a∧b=b∧a, 结合律：a∨(b∨c)=(a∨b)∨c, a∧(b∧c)=(a∧b)∧c 吸收律：a∨(a∧b)=a，a∧(a∨b)=a 则称L，∨，∧是一个代数格。 这样的代数系统满足幂等律、交换律、结合律、吸收律、和分配律 集合代数系统2A，∪，∩ 命题逻辑系统?，∨，∧ 对这样的代数系统，从运算性质进行抽象，提取共性，得到下述“格”的概念 * 计算机学院 * 定理17.1(幂等律)：