离散数学导论(盘) 作者 王元元 张桂芸 第十二章演示文稿.ppt

* 第十二章 格 与 布 尔 代 数 在线教务辅导网： 教材其余课件及动画素材请查阅在线教务辅导网 QQ:349134187 或者直接输入下面地址： 12.1 格 12.2 布尔代数 第十二章 格与布尔代数 12.1.1 格——有序集 12.1.2 格代数 12.1.3分配格和模格 第十二章 格与布尔代数 12.1 格 12.2.1 有界格和有补格 12.2.2 布尔代数 12.2.4 布尔表达式与布尔函数 ?12.2.3 布尔代数的表示定理 第十二章 格与布尔代数 12.2 布尔代数 第十二章 格与布尔代数 12.1 格 12.1.1 格——有序集 定义12.1 称有序集L，≤为格（lattice），如果L中的 任何两个元素的子集都有上确界和下确界。 通常用a∨b表示{a，b}的上确界，用a∧b 表示{a，b}的下确界，∨和∧分别称为保联（join）和保交（meet）运算。由于对任何a，b，a∨b 及a∧b都是L中确定的成员，因此 ∨,∧均为L上的运算． 第十二章 格与布尔代数 12.1 格 12.1.1 格——有序集 定理12.1 当 L,≤为格时， L, ≥亦为格,且它 的保联、保交运算∨~,∧~对任意a,b?L满足 a∨~b = a∧b , a∧~b = a∨b 第十二章 格与布尔代数 12.1 格 12.1.1 格——有序集 定理12.2 A为格 L，≤上的真表达式， 当且仅当A?为 L，≥上的真表达式， 这里A?称为A的对偶式，即将A中符号 ∨，∧，≤分别改为∧，∨，≥后所得 的公式，而 a≥b意即b≤a 。 第十二章 格与布尔代数 12.1 格 12.1.1 格——有序集 定理12.3 设 L,≤为格，那么对L中任何元素a,b,c 有 （1） a≤a∨b， b≤a∨b a∧b≤a， a∧b≤b （2）若a≤b，a≤c，则a≤b∨c 若b≤a，c≤a，则b∧c≤a． （3）若a≤b，c≤d，则a∨c≤b∨d， a∧c≤b∧d （4）若a≤b，则a∨c≤b∨c，a∧c≤b∧c． 第十二章 格与布尔代数 12.1 格 12.1.1 格——有序集 定理12.4 设 L,≤为格，那么对L中任意元素来a,b,c 有 （1）a∨a = a，a∧a＝a ( 幂等律 ) （2）a∨b = b∨a，a∧b = b∧a ( 交换律 ) （3）a∨（b∨c）=（a∨b）∨c a∧（b∧c）=（a∧b）∧c ( 结合律 ) （4）a∧(a∨b) = a， a∨(a∧b) = a ( 吸收律 ) 第十二章 格与布尔代数 12.1 格 12.1.1 格——有序集 定理12.5 设 L,≤为格。那么对L中任意元素a,b,c 有 （1） a≤b当且仅当。a∧b = a 当且仅当a∨b = b 。 （2） a∨（b∧c）≤（a∨b）∧（a∨c）。 （3） a≤c当且仅当。a∨(b∧c)≤（a∨b） ∧c。 第十二章 格与布尔代数 12.1 格 12.1.2 格代数 定义12.2 设L为一非空集合，∨,∧ 为L上的两个 二元运算，称 L，∨,∧为格代数，或简 单地称为格，如果 L，∨,∧中运算满足 幂等律、交换律、结合律和吸收律 （见定理12.4）。 第十二章 格与布尔代数 12.1 格 12.1.2 格代数 定义12.3 格 L，∨,∧称为完全格 （complete lattice），如果L的所有非空子集都有上确界和 下确界。 定理12．6 设 L，∨,∧为完全格，那么0为 ∨运算么元、∧运算零元；l为∧运算 么元、∨运算零元． 第十二章 格与布尔代数 12.1 格 12.1.2 格代数 定理12.7 有序集 L，≤为完全格的充分必要 条件是:存在L的上确界1，并且L的每一非空 子集有下确界。 定理12.8 设 L，∨,∧为格，a?L，令 La= {x ? x?L∧x≤a} , Ma ={x ? x?L