2.1 逻辑代数

• 逻辑代数的基本定律和恒等式

•  逻辑代数的基本规则

• 代入规则：在任何一个逻辑等式中，如果将等式两边出现的某种变量A，都用一个函数代替，则等式依然成立。
• eg: B(A+C) = BA + BC   ==> E+F 替代 A    B[(E+F) + C] = B(E + F) + BC = BE + BF + BC
• 反演规则：
• 注意：先括号、然后与、最后或。
• 对于反变量意外的非号保持不变。

• 对偶规则：对于任意逻辑表达式，若把L中的与（·）换成或（+），或（+）换成与（·）；1换成0，0换成1，那么就得到一个新的逻辑函数式，这就是L的对偶式。记作上撇号
• 注意：先括号、然后与、最后或。
• 当某个逻辑等式成立时，则该等式两侧的对偶式也相等。

• 逻辑函数的代数化简法

• 为什么需要化简？直接根据某种逻辑要求归纳出来的逻辑函数表达式往往不是最简形式，这就需要对逻辑函数表达式进行化简。利用化简后的逻辑函数表达式构成逻辑电路时，可以节省器件，减低成本，提高数字系统的可靠性。
•  最简表达式：在若干个逻辑关系相同的与-或表达式中，将其中包含的与项最少，且每个与项中变量数最少的表达式称为最简与-或表达式。
• 逻辑函数化简就是要消去与-或表达式中多余的乘积项和每个乘积项中多余的变量，已得到逻辑函数最简的与-或表达式。有了最简与-或表达式以后，在用公式变换就可以得到其他类型的函数式。

• 逻辑函数的化简方法