第三讲 逻辑代数的基本定律和规则

第三讲 逻辑代数的基本定律和规则

2.3.1 逻辑代数的基本公式
一、逻辑常量运算公式
二、逻辑变量、常量运算公式

2.3.2　逻辑代数的基本定律
一、与普通代数相似的定律
二、吸收律
三、摩根定律

2.3.3 逻辑代数的三个重要规则
一、代入规则
二、反演规则
三、对偶规则

作业： P23 2. 4.

2. 3 逻辑代数的基本定律和规则

2.3.1 逻辑代数的基本公式
一、逻辑常量运算公式
表2.3.1 逻辑常量运算公式

变量A的取值只能为0或为1，分别代入验证。

2.3.2　逻辑代数的基本定律
逻辑代数的基本定律是分析、设计逻辑电路，化简和变换逻辑函数式的重要工具。这些定律和普通代数相似，有其独特性。
一、与普通代数相似的定律
                           表2.3.3　交换律、结合律、分配律与学生一同验证以上四式。
第④式的推广： （2.3.1）
由表2.3.4可知，利用吸收律化简逻辑函数时，某些项或因子在化简中被吸收掉，使逻辑函数式变得更简单。

三、摩根定律

   
2.3.3 逻辑代数的三个重要规则
一、代入规则
对于任一个含有变量A的逻辑等式，可以将等式两边的所有变量A用同一个逻辑函数替代，替代后等式仍然成立。这个规则称为代入规则。代入规则的正确性是由逻辑变量和逻辑函数值的二值性保证的。

若两函数相等，其对偶式也相等。 （可用于变换推导公式）。
讨论三个规则的正确性。