§2逻辑代数与硬件描述语言基础_09.ppt

§2 逻辑代数与硬件描述语言基础 本章教学内容 本章教学要求 本章重点与难点 教学内容 2.1 逻辑代数 2.2.1 逻辑代数的基本定律和恒等式 2.2.2 逻辑代数的基本规则 2.1.3 逻辑代数的化简 2.2 逻辑函数的卡诺图化简法 2.2.1 最小项的定义及其性质 2.2.2 逻辑函数最小项的表达式 2.2.3 用卡诺图表示逻辑函数 2.2.4 用卡诺图化简逻辑函数 *2.3 硬件描述语言基础 Verilog HDL 教学要求 （l）掌握逻辑代数的基本定律、定理和规则； （2）掌握逻辑函数的表示方法及相互转换方法； （3）掌握逻辑函数的化简方法； 重点与难点： 重点：逻辑代数的基本定律、定理和基本规则。 难点：基本定律、定理和规则的应用。 2.1 逻辑代数 逻辑代数与普通代数相似之处在于它们都是用字母表示变量，用代数式描述客观事物间的关系。但不同的是逻辑代数是描述客观事物间的逻辑关系，逻辑函数表达式中的逻辑变量的取值和逻辑函数值都只有0和1两个值。 逻辑代数是反映逻辑变量运算规律的数学，是数字系统的理论基础和重要的数学工具。 逻辑代数是从哲学领域中的逻辑学发展而来的。1847年，英国数学家乔治·布尔(G.Boole)首先提出了用数学分析方法表示命题陈述的逻辑结构，并成功地将形式逻辑归结为一种代数演算，从而诞生了著名的“布尔代数”。 2.1.1 逻辑代数的基本定律和恒等式 表2.1.1 逻辑代数定律、定理和恒等式 (P 40) 三个基本规则: 1. 代入规则 2. 反演规则 3. 对偶规则 2.1.2 0-1 律 分配律 结合律 交换律 反演律 吸收律 冗余律 非(反) 与（乘） 或（加） 基本定律 常用 恒等式 表2.1.1 逻辑代数定律、定理和恒等式 (P 40) 2.1.2 2.1.3 非（反） 与（乘） 或（加） 0-1 律 0-1律: 逻辑常量0和1与逻辑变量间的运算规律。 与普通代数相似的定律 分配律 结合律 交换律 普通代数没有！ 证明分配率：A+BA=(A+B)(A+C) (A+B)(A+C)=AA+AB+AC+BC 分配率A(B+C)=AB+AC =A+AB+AC+BC 0-1律 AA=A =A(1+B+C)+BC 分配率A(B+C)=AB+AC =A+BC 0-1率A+1=1 证明： 反演律(摩根定理) 证明等式： √ √ 吸收律 吸收多余的项 吸收相异的变量 吸收多余的因子 常用恒等式： 1. 代入规则 2.1.2 逻辑代数的基本规则 定义： 作用： 利用代入定理很容易把基本公式推广为多变量的形式。 在任何一个逻辑等式中，如果将等式两边出现某变量的位置，都以同一函数代替，则等式仍然成立，这就是所谓代入规则。 【例1】:用代入规则证明摩根定理二变量，也适用于多变量的情况。 【解】：已知二变量的摩根定理为： 依此类推，摩根定理对任意多个变量都成立。 若在等式两边出现某变量 B 的位置用（B＋C）代入，则等式仍然成立, 即 ： 2. 反演规则 注意：在使用反演规则时还需遵守以下两条： ① 必需遵守“先括号、然后乘、最后加”的运算优先次序。 ② 不属于单个变量上的反号应保留不变。 作用： 反演规则为求取已知逻辑式的反逻辑式提供了方便。 【例题】： 3. 对偶规则 注意：在使用对偶规则时还需遵守以下两条： ① 必需遵守“先括号、然后乘、最后加”的运算优先次序。 ② 不属于单个变量上的反号应保留不变。 利用对偶规则可从已知公式中得到更多的运算公式。 作用： 【例题1】： P 40 表2.1.1 【例题2】： 2.1.3 逻辑函数的代数化简法 一、逻辑函数的最简与-或表达式 【例】： (3) 最简与或表达式的特点： (2) 逻辑函数的化简方法： ① 与项（即乘积项）的个数最少； ② 每个乘积项中变量的个数最少； (4) 代数法化简逻辑函数的理论依据： (5) 代数法化简的常用方法： 并项法；吸收法；消去法；配项法。 逻辑代数的基本定律和恒等式。 　(1) 逻辑函数化简的意义：逻辑表达式越简单，实现它的电路越简单，电路工作的可靠性相对就越高。 二、 逻辑函数的化简 ① 代数法；② 卡诺图法 ① 并项法 利用公式 ，将两项合并为一项，并消去一个变量。 化简依据： ② 吸收法 利用公式Ａ＋ＡＢ＝Ａ，消去多余的项。 利用公式 ，消去多余的因子。 ③ 消去法 ④ 配项法 利用公式