格和布尔代数.pptVIP

10.4 布尔代数 10.4 布尔代数 定理10.16(有限布尔代数的表示定理)：设 是有限布尔代数，A={a|a∈B且a是原子}，则 10.4 布尔代数 10.4 布尔代数 推论1：任何有限布尔代数的基数为 推论2：任何具有 个元素的布尔代数互相同构(对无限布尔代数不成立) 10.4 布尔代数 5.布尔表达式 定义10.20：设 是一个布尔代数，B中的元素称为布尔常元，取值于B中元素的变元称为布尔变元。 定义10.21：设 是一个布尔代数，在B上的布尔表达式定义如下： (1).B中任何一个常元是布尔表达式； (2).B中任何一个布尔变元是布尔表达式； (3).如果 是布尔表达式，则 也是布尔表达式； (4).有限次使用(1)，(2)，(3)所构造的符号串是布尔表达式。 10.4 布尔代数 定义10.22：设 是一个布尔代数，B的一个含有n个相异布尔变元的布尔表达式称为n元布尔表达式，记为 ，其中 是布尔变元。 定义10.23：设 和 是布尔代数 上的两个布尔表达式，如果对n个布尔变元的任意指派， 和 的值均相等，则称 与 是等价的或相等的，记作： (1).如果能有限次应用布尔代数的公式，将一个布尔表达式化成另一个布尔表达式，就可判定两式是等价的； 10.4 布尔代数 (2).等价关系将n元布尔表达式集合划分成等价类，同一等价类中的布尔表达式等价，等价类数目有限。 定义10.24：设 是布尔代数，给定n个布尔变元 ，表达式： ( )，称为极小项。 (1).n个布尔变元就有 个不同的极小项，分别记为 ，下标识二进制数， 的十进制表示，其中 10.4 布尔代数 (2). (3). 定义10.25：设 是布尔代数，如 的布尔表达式称为主析取范式，其中 是布尔常元， 是极小项( ). (1).每个 有|B|种取法，故有n个布尔变元的不同的主析取范式有 个，当B={0,1}时有 个; (2). 个极小项，最多能构造出 个主析取范式，所以一个n元布尔表达式必等价于这 个主析取范式之一； (3).可用数理逻辑中的方法，用德摩根律等将一 10.4 布尔代数 个n元布尔表达式转化为等价的主析取范式； (4).相应的：极大项： 主合取范式为： 是布尔常元， 是极大项，同样有 个不同的主合取范式， 个极大项最多能构造 个不同的主合取范式。 例：将布尔代数 上的布尔表达式 10.4 布尔代数 10.4 布尔代数 定义10.26：设 是一个格，一个从 到B的函数，如果能够用该布尔代数上的布尔表达式，则称这个函数为布尔代数。 (1).每一个n元布尔表达式可以看作是一个n个布尔变元的函数； (2).n个变元的主析取范式最多有 个，∴不能代表 个不同的函数， 到|B|的函数共有 个； 当B={0,1}时，函数有 个，主析取范式 个，每个函数均可用布尔表达式表示，当B≠{0,1}时，如B={0,1,a,b}时，函数有 个，主析取范式有 个，即当|B|2时，有些 到B的函数不能用布尔表达式表示。 10.4 布尔代数 (3).命题逻辑可以用布尔代数 来描述，开关代数可以用布尔代数{断开，闭合}，并联，串联，反向来描述。 */73 */73 第十章 格与布尔代数 10.1 格的定义与性质 1.定义 与群，环，域，不同，格与布尔代数的基集都是一个偏序集，格是具有两个二元运算的代数系统，是一个特殊的偏序集，布尔代数是一个特殊的格。 定义10.1：设S, ≤是偏序集，若 都有上下确界，则称S, ≤为格(Lattice) (1)偏序集的任一子集并非都有上下确界， (2)偏序集的某一子集的上下确界若存在，则唯一，格的定义确定了上下确界的存在性， (3){x, y}的上确界记为x∨y，下确界记为x∧y 10.1 格的定义与性质 定义10.2：设f是含有格中元素及符号=, ≤,≥, ∨, ∧的命题，令 是将f中≤,≥, ∨, ∧分别替换为≥, ≤,∧,∨所得到的命题，则称 是f的对偶命题或称对偶式。 格的对偶