《2-23逻辑代数基本定理和规则.pptVIP

　内容提要 2.2.2 常用公式 (1)吸收律 2.2.3 等式证明 证明方法 真值表法：通过对变量的所有取值，检查等式两边的值是否相等。如果相等，则等式成立；否则，不成立。 公式法：利用已知的定律和公式，对表达式进行恒等变化，使等式两边的表达形式相同。 2.2.3 等式证明 (1)吸收律 2.2.2 常用公式 (2)反演律 2.2.2 常用公式 2.2.2 常用公式 (3)包含律 2.2.4 主要定理及规则 逻辑代数规则 (1)代入规则 用一个逻辑表达式替代恒等式两边的同一个变量，等式仍然成立 2.2.4 主要定理及规则 (3)反演规则 求函数的反函数 如果将函数表达式中的变量和常量分别取反，与运算和或运算互换，并保持各变量原来的运算顺序不变，所得表达式即为原函数的反函数。 2.2.4 主要定理及规则 (4)对偶规则 如果将函数F表达式中的常量取反，与、或互换，并保持各变量原来的顺序不变，所得表达式称为原函数的对偶函数，记作F* 对偶规则 （5）展开定理 （5）展开定理 　内容提要 逻辑函数的标准形式 对于一个任意的逻辑函数通常有“积之和”与“和之积”两种基本表达形式，且其表达形式并不是唯一的，如 是“积之和”的形式，又称“与－或”表达式； 而 则是“和之积”的形式，又称“或－与”表达式。 2.3 代数法化简逻