数电——第二章 逻辑代数及硬件描述语言基础.ppt

例：用卡诺图化简逻辑函数 L（A,B,C,D）=∑m（0,2,3,4,6,7,10,11,13,14,15） 解：（1）由表达式填出卡诺图 （2）画包围圈合并最小项，得简化的与—或表达式 例：用卡诺图化简逻辑函数 解：（1）由表达式填出卡诺图 （2）画包围圈合并最小项，得简化的与—或表达式 例：某逻辑函数的真值表如表所示，用卡诺图化简该逻辑函数。 解：（1）由真值表画出卡诺图； （2）画包围圈合并最小项。 通过这个例子可以看出，一个逻辑函数的真值表是唯一的，卡诺图也是唯一的，但化简结果有时不是唯一的 。 3．卡诺图化简逻辑函数的另一种方法（圈0法） 如果一个逻辑函数用卡诺图表示后，里面的0很少且相邻性很强，这时用圈0法更简便。但要注意，圈0后，应写出反函数，再取非，得原函数。 例： 已知逻辑函数的卡诺图如图，分别用“圈0法”和“圈1法”化简。 4．具有无关项的逻辑函数的化简 （1） 无关项定义 例：在十字路口有红绿黄三色交通信号灯，规定红灯停，绿灯行，黄灯等一等，试分析车行与三色信号灯之间逻辑关系。 解：设红、绿、黄灯分别用A、B、C表示，且灯亮为1，灯灭为0。车用L表示，车行L=1，车停L=0。列出该函数的真值表。 显而易见，在这个函数中，有5个最小项是不会出现的 ，因为一个正常的交通灯系统不可能出现这些情况，如果出现了，车可以行也可以停，即逻辑值任意。 在有些逻辑函数中，输入变量的某些取值组合不会出现，或者一旦出现，逻辑值可以是任意的。这样的取值组合所对应的最小项称为无关项、任意项或约束项，在卡诺图中用符号×来表示其逻辑值。 带无关项的逻辑函数的最小项表达式为： L=∑m( )+∑d( ) 如本例 L=∑m(2)+∑d(0,3,5,6,7) （2）具有无关项的逻辑函数的化简 化简具有无关项的逻辑函数时，要充分利用无关项可以当0也可以当1的特点，尽量扩大卡诺圈，使逻辑函数更简。 卡诺图化简法的特点：优点是简单、直观，有一定的化简步骤可循，不易出错，且容易化到最简。但是在逻辑变量超过5个时，就失去了简单、直观的优点，其实用意义大打折扣。 在考虑无关项时，哪些无关项当作1，哪些无关项当作0，要以尽量扩大卡诺圈、减少圈的个数，使逻辑函数更简为原则。 拓 展 练 习 将下列逻辑函数式化为与-或-非形式 将下列函数化为最简与-或表达式，方法不限 3、已知逻辑函数表达式，将F1、F2化简为最简与或表达式： * 《数字电子技术基础》 第二章 逻辑代数与硬件描述语言基础 主讲：何玉钧 Electronics Staff Room of Dept. Electronic and Communication 电子与通信工程系 电子学教研室 2.1 逻辑代数 2.2 逻辑函数的卡诺图化简法 2.3 硬件描述语言VerilogHDL基础 1. 熟悉逻辑代数常用基本定律、恒等式和规则。 2. 掌握逻辑代数的变换和卡诺图化简法； 3. 熟悉硬件描述语言VerilogHDL 基本要求 2.1 逻辑代数 逻辑代数又称布尔代数，是英国数学家George.Boole在1849年提出的。它是分析和设计现代数字逻辑电路不可缺少的数学工具，逻辑代数有一系列的定律、定理和规则，用它们对数学表达式进行处理，可以完成对逻辑电路的化简、变换、分析和设计。 2.1.1 逻辑代数的基本定律和恒等式 2.1.2 逻辑代数的基本规则 2.1.3 逻辑函数的代数化简法 2.1.1 逻辑代数的基本定律和恒等式 基 本 公 式 例：证明吸收律 （1）用简单的公式证明略为复杂的公式。 公式的证明方法 例: 用真值表证明反演律： （2）用真值表证明，即检验等式两边函数的真值表是否一致。 1．代入规则 基本内容：对于任何一个逻辑等式，以某个逻辑变量或逻辑函数同时取代等式两端任何一个逻辑变量后，等式依然成立。 例如：在反演律中用BC去代替等式中的B，则新的等式仍成立： 2. 对偶规则 将一个逻辑函数 L 进行下列变换： ? → ＋ ，＋ → ?  0 → 1 ， 1 → 0所得新函数表达式叫做 L 的对偶式，用 表示。 2.1.2 逻辑代数的基本规则 对偶规则的基本内容：如果两个逻辑函数表达式相等，那么它们的对偶式也一定相等。 基本公式中的公式 l 和公式 2 就互为对偶 式。 3．反演规则 将一个逻辑函数 L 进行下列变换： ? → ＋ ，＋ → ? ； 0 → 1 ， 1 → 0 ； 原变量 → 反变量，反变量 → 原变量。所得新函数表达式叫做 L 的反函数