而f(x∨y)与f(x)∪f(y).pptVIP

计算机学院 计算机科学与工程学院 冯伟森 Emeil ： fws365@scu.edu.cn 2008 年 12 月 16 日星期二 * 计算机学院 * 布尔代数 在有补分配格中每个元都有补元而且补元惟一，则可以将求元素的补元“ˉ”作为一种一元运算。称有补分配格B, 为布尔格。 布尔格又称为布尔代数。它包含三种运算 ∨, ∧,ˉ，有两个特殊元0，1。 因而布尔格B, 又写成B,∨, ∧,ˉ,0,1，以突出其代数特征。 若一个布尔代数的元素个数是有限的，则称此布尔代数为有限布尔代数。 * 计算机学院 * * 计算机学院 * 布尔代数的性质 布尔代数是有补分配格，有补分配格B， 必须满足： 是格 分配律成立 有最大元和最小元（有界）； 每个元的补元存在而且唯一； 最大元1和最小元0可以用下面的同一律和零律来描述：在B中存在两个元素0和1，使得对任意a∈B，有 a∧1＝a，a∨0＝a；a∨1＝1，a∧0＝0。 * 计算机学院 * 补元的存在可以用下面的互补律来描述： 对任意a∈B，存在 ∈B，使得 a∧ ＝0，a∨ ＝1。 因此,布尔代数B,∨, ∧,ˉ,0,1满足下面的 运算规律： 定理17.13 设a,b,c是布尔代数 B,∨, ∧,ˉ,0,1中的任意元素，则 ① a∨b=b∨a, a∧b=b∧