代数法化简模板.ppt

逻辑代数又称布尔代数 。 它是分析和设计现 代数字逻辑电路不可缺少的数学工具。逻辑代数 有一系列的定律、定理和规则，用于对数学表达 式进行处理，以完成对逻辑电路的化简、变换、 分析和设计。 第六节 逻辑代数基础 一 . 逻辑代数的基本定律和恒等式 三 . 逻辑函数的变换及代数化简法 二 . 逻辑代数的三个基本规则 第六节 逻辑代数基础 1 、 基本公式 交换律： A + B = B + A A · B = B · A 结合律： A + B + C = ( A + B ) + C A · B · C = ( A · B ) · C 分配律： A + BC = ( A + B )( A + C ) A ( B + C ) = AB + AC A · 1 = A A · 0 = 0 A + 0 = A A + 1 = 1 0 、 1 律： A · A = 0 A + A = 1 互补律： 一 . 逻辑代数的基本定律和恒等式 重叠律 ： A + A = A A · A = A 反演律： AB = A + B A + B = A · B A A B A B ? ? ? ＝ ( ) ( ) A B A C A BC ? ? ? ? ＝ A B A A ＝ ? ? A A B A ? ? ( ) ＝ 吸收律 其它常用恒等式 AB ＋ A C ＋ BC ＝ AB + AC AB ＋ A C ＋ BCD ＝ AB + AC 基本定律和恒等式 2 、基本公式的证明 例 1 证明 A B A B ? ? ? AB A B ? ? ， 列出等式、右边的函数值的真值表 方法 1 、真值表证明法 0 1· 1 = 0 0 1+1=0 0 0 1 1 1 1· 0 = 1 0 1+0=0 0 1 1 0 1 0· 1 = 1 0 0+1=0 1 0 0 1 1 0· 0 = 1 1 0+0=1 1 1 0 0 A+B A+B A B A B AB A B ? 方法 2 ：代数法 例 2 ：证明吸收律 证： B A B A A ? ? ? AB A A ? ? ? B A A A B A AB A B A A ) ( ? ? ? ? ? ? ? ? B A ? ? 二 . 逻辑代数的三个基本规则 1. 代入规则 ： 在包含变量 A 逻辑等式中，如果 用另一个函数式代入式中所有 A 的位置，则等式仍 然成立。这一规则称为代入规则。 例 3 ： B (A + C) = BA+BC ， 用 A + D 代替 A ， 得 B [( A +D ) +C ] = B(A +D) + BC = BA + BD + BC 代入规则可以扩展所有基本公式或定律的应用范围 对于任意一个逻辑表达式 L ，若将其中所有的与（ ? ） 换成或（ + ），或（ + ）换成与（ ? ）；原变量换为反变量， 反变量换为原变量；将 1 换成 0 ， 0 换成 1 ；则得到的结果就 是原函数的反函数。 2. 反演规则： ) )( ( 1 ) ( D C B A D C B) (A L ? ? ? ? ? ? ? ? 0 ? ? ? CD B A L 例 4 试求 的非函数 解：按照反演规则，得 在应用反演规则求反函数时要 注意 以下两点： （ 1 ）保持运算的优先顺序不变，必要时加括号表 明，如例 4 。 先括号，再与，最后或 （ 2 ）变换中，几个变量（一个以上）的公共非号 保持不变，如例 5 。 D C B A L ? ? ? ? D C B A L ? ? ? ? 例 5 求以下函数的反函数： 解： L AB AC ? ? ? 对于任何逻辑函数式，若将其中的与（ ? ）换成或 （ + ），或（ + ）换 成与（ ? ）；并将 1 换成 0 ， 0 换成 1 ；那么，