布尔代数 离散数学 第19讲.pptVIP

布尔代数;上一讲内容的回顾;布尔代数;布尔格;布尔格满足的性质;布尔代数系统;布尔代数系统是有补分配格;证明布尔代数是有补分配格;证明布尔代数是有补分配格（续）;与补元有关的性质;布尔代数中的次序关系;布尔代数同态与同构;格中的原子;;有限布尔代数元素的原子表示;原子表示的唯一性;有限布尔代数的表示定理;;;有限布尔代数的表示定理的证明;有限布尔代数基数是2的整数次幂;等势的布尔代数系统均同构;最小的几个有限布尔代数;布尔代数与数字逻辑电路设计;一个逻辑电路设计的例子;;电路设计;卡诺图 n=2;用卡诺图化简布尔表达式;;化简三个变量的布尔表达式;回到举重裁判的问题;;作业;Boole, George (1815-1864) ;Topological sorting;Algorithm for topological sorting;;;Lattice Bn;Hasse Diagrams of Bn;Some Examples ;Dn as Boolean Algebra;Proof of Non-Boolean Algebra;Proof of Non-Boolean Algebra;