第二章逻辑代数基础1.pptVIP

第二章 逻辑代数基础;2.1 概述;2.2 逻辑代数中的三种基本运算 逻辑代数中的三种基本运算有与、或、非三种。定义（P20） 只有决定事物结果的全部条件同时具备时，结果才发生，这种逻辑关系叫逻辑与（逻辑相乘） 决定事物结果的诸条件中，只要有任何一个满足，结果就会发生，这种逻辑关系叫逻辑或（逻辑相加） 只要条件具备了，结果就不发生；条件不具备时，结果就一定发生，这种逻辑关系叫逻辑非（逻辑求反）;R; 若条件满足、结果发生用1表示，条件不满足、结果不发生用0表示，则可以列出用0、1表示的与、或、非逻辑关系的图表，叫逻辑真值表，简称真值表。; 实际的逻辑问题往往比与、或、非复杂的多，不过它们都可以用与、或、非的组合来实现。最常见的复合逻辑运算有：与非、或非、与或非、异或、同或等等。 它们的图形符号、真值表、运算符号： 与非：;与或非：;Y;注意： 非门只有一个输入端； 异或、同或都是只有两个输入端； 与、或、与非、或非、与或非都可以有 多个输入端。;国标符号 国际流行符号 ;2.3 逻辑代数的基本公式和常用公式 2.3.1 基本公式 基础：常量: 0、1 变量：A、B、C ……取值只有0、1两种。 ;表2.3.1逻辑代数的基本公式。(P24);证明：公式8;公式17;也可以用已知的公式来证明等式成立 如公式17也可以用公式证明：;2.3.2 若干常用公式;式21证明: A+A B = A A+A B = A (1+B) = A·1 = A 两个乘积项相加时，若其中一项以另一项为因子，则该项多余。 式22证明: A +A′B = A + B A+A′B= ( A+A′)( A+B ) =1 · ( A+B )= A+B 两个乘积项相加时，若其中一项取反后是另一项的因子，则该因子多余。;式23证明: AB + AB′= A AB + AB′= A(B+B′) = A 两个乘积项相加时，若它们分别包含 B 和 B′两个因子，而其它因子相同，则两项可以合并，并消去 B 和 B′两个因子。 式24证明: A( A + B) = A A(A+B )= AA+AB = A+AB = A 变量A和包含A的和相乘时，结果等于A。;式25证明: A B + A′ C + B C = A B + A′ C AB + A′C + B C = A B + A′C + B C ( A + A′) = A B + A′C + A B C + A′B C = A B + A′C A B + A′ C + BCD = A B + A′ C AB + A′C + BCD = A B + A′C + B C D ( A + A′) = A B + A′C + A B C D + A′B C D = A B + A′C 两个乘积项分别包含 A 和 A ′两个因子，而其余因子组成第三个乘积项或者是第三个乘积项的因子，则第三个乘积项可消去。;总 结 ;2.4 逻辑代数的基本定理 2.4.1 代入定理 定义：在任何一个包含变量A的逻辑等式中，若以另外一个逻辑式带入式中所有A的位置，则等式仍然成立。 作用：公式推广。 例1:;例2:;定义：对于任意一个逻辑式 Y ，若将其中所有的“·”换成“+”， “+”换成“·” ，0换成1，1换成0， 原变量换成反变量， 反变量换成原变量，则得到的结果就是Y的反函数 。 这个规律叫做反演定理。;例1：;2.4.3 对偶定理 定义：若两逻辑式相等，则它们的对偶式也相等。 对偶式：对于任意一个逻辑式 Y，若将其中所有的“·”换成“+”， “+”换成“·” ，0换成1，1换成0， 则得到的结果就是Y的对偶式 YD。 即： 若 Y1=Y2，则 若 ，则 Y1=Y2 作用：1、公式推广。 2、逻辑式证明。 ???意：1、仍需遵守“先括号、然后乘、