《16布尔表达式.pptVIP

* 6-4 布尔代数 定义6-4.1 一个有补分配格称为布尔格。 求一个元素的补元素可以看作一元运算，称为补运算。 定义6-4.2 设A,∨,∧，- 是由布尔格A, ≤ 是所诱导的代数系统。称这个代数系统为布尔代数。 例1 设?(S), ∪,∩，~是由布尔格?(S),?是所诱导的代数系统。这个代数系统为布尔代数。 当S={a,b}时的运算表如表6-4.1所示。P-253页 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定理6-4.1 在一个有界分配格中，对于布尔代数中的任意两个元素a，b，必定有 ( a )=a a∨b= a∧b a∧b= a∨b ? 证明：只证第(2)个等式