[工学]电子技术基础数字部分第二章 逻辑代数与硬件描述语言概述.ppt

2.1 逻辑代数 2.1.2 逻辑代数的基本规则 2.2 逻辑函数的卡诺图化简法 2.2.3 用卡诺图表示逻辑函数 2.2.4 用卡诺图化简逻辑函数 2. 化简的步骤 用卡诺图化简逻辑函数的步骤如下： (4) 将所有包围圈对应的乘积项相加。 (1) 将逻辑函数写成最小项表达式 (2) 按最小项表达式填卡诺图，凡式中包含了的最小 项，其对应方格填1，其余方格填0。 (3) 合并最小项，即将相邻的1方格圈成一组(包围圈)， 每一组含2n个方格，对应每个包围圈写成一个新的 乘积项。 画包围圈时应遵循的原则： (1)包围圈内的方格数一定是2n个，且包围圈必须呈矩形。 (2) 循环相邻特性包括上下底相邻，左右边相邻和四角相邻。 (3) 同一方格可以被不同的包围圈重复包围多次，但每圈一 次一定要有新方格圈入。 (4) 一个包围圈的方格数要尽可能多,包围圈的数目要可能少。 (5) 所有1值方格均需画出包围圈，以保证函数值不变。 * 2 .逻辑代数与硬件描述语言基础 2.1 逻辑代数 2.2 逻辑函数的卡诺图化简法 *2.3 硬件描述语言Verilog HDL基础 教学基本要求 1、熟悉逻辑代数常用基本定律、恒等式 和规则。 3、了解硬件描述语言Verilog HDL 2、掌握逻辑代数的变换和卡诺图化简法； 2.1.1 逻辑代数的基本定律和恒等式 2.1.3 逻辑函数的变换及代数化简法 2.1.2 逻辑代数的基本规则 2.1 逻辑代数 逻辑代数又称布尔代数。它是分析和设计现代数字逻辑电路不可缺少的数学工具。逻辑代数有一系列的定律、定理和规则，用于对数学表达式进行处理，以完成对逻辑电路的化简、变换、分析和设计。 逻辑关系指的是事件产生的条件和结果之间的因果关系。在数字电路中往往是将事情的条件作为输入信号，而结果用输出信号表示。条件和结果的两种对立状态分别用逻辑“1” 和“0”表示。 　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 互补律： 2.1.1　逻辑代数的基本定律和恒等式 重叠律： A + A = A A · A = A 反演律： AB = A + B A + B = A · B 吸收律 其它常用恒等式 AB＋ AC＋BC＝AB + AC AB＋ AC＋BCD＝AB + AC 证明反演律：设 , , 证明 因 所以： 2、基本公式的证明 (公式证明法) 2、基本公式的证明 例 证明 ， 列出等式、右边的函数值的真值表 (真值表证明法) 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 ：在包含变量A逻辑等式中，如果用另一个函数式代入式中所有A的位置，则等式仍然成立。 代入规则 例：B (A + C) = BA+BC， 用A + D代替A，得 B [(A +D) +C ] = B(A +D) + BC = BA + BD + BC 代入规则可以扩展所有基本公式或定律的应用范围 2. 反演规则： 例2.1.1 试求 的非函数 解：按照反演规则，得 + ● 0 1 X 三变后所得的新的函数式就是原函数的反函数 二不变： a.公共非号不变 b.原函数运算先 后顺序不变 （括号 乘 加） 由原函数求反函数的过程 优点： 用反演规则 可以较方便的求出反函数 又如：已知 ，求 解： (公共非号不变) 已知 ，求 解： (先与后或) 注：求L′时不需要将原变量和反变量互换！ 例: 逻辑函数 的对偶式为 3. 对偶规则： ? + 1 0 二不变: a.公共非号不变 b.原函数运算先后顺序不变 对偶式的含义: 如果两个逻辑函数式