离散数学(第16-17章)l陈瑜.pptVIP

* 计算机学院 */129 例 设 ｛0,1｝,∧, ∨,ˉ,0,1 是一个布尔代数， 右表所给出的从B3到B的函数f1(x1,x2,x3)是否为布尔函数？ (x1,x2,x3) f1(x1,x2,x3) (0，0，0) 1 (0，0，1) 1 (0，1，0) 0 (0，1，1) 0 (1，0，0) 1 (1，0，1) 0 (1，1，0) 0 (1，1，1) 1 * 计算机学院 */129 该表所给出的从B3到B的函数f1(x1,x2,x3)是布尔函数，它可表示为： f1(x1,x2,x3) ＝( 1∧ 2∧ 3)∨( 1∧ 2∧x3) ∨(x1∧ 2∧ 3)∨(x1∧x2∧x3)。 * 计算机学院 */129 习题 P261 1、7 P265 1、2、4、5 * 计算机学院 */129 有界格 定义17-3.2 设L,≤（或L, ∨，∧）是一个格，若存在元素a∈L，使得对任意x∈L，都有 a≤x(或x≤a)， 则称a为格L,≤的最小元(或最大元)，分别记为0(或1)，而具有最大元和最小元的格称为有界格。 根据最大元“1”和最小元“0”的定义，对任意x∈L， 1∧x＝x∧1＝x， 1∨x＝x∨1＝1 0∧x＝x∧0＝0， 0∨x＝x∨0＝x * 计算机学院 */129 例 　如下图a、b、c所示的格是有界格，其最大元和最