数字电路：ch2 逻辑代数与硬件描述语言基础-a.pptVIP

作业 P64 2.1.3(3) 2.1.4(10) 2.1.7(3) * * 2 .逻辑代数与硬件描述语言基础 2.1 逻辑代数 2.2 逻辑函数的卡诺图化简法 2.3 Verilog HDL 教学基本要求 1、熟悉逻辑代数常用基本定律、恒等式和规则。 2、掌握逻辑代数的变换、化简和卡诺图化简法； 3、掌握Verilog HDL的基本语法、程序结构、描述的3种基本方法； 2.1 逻辑代数 逻辑代数又称布尔代数,是英国数学家George · Boole 在1849年提出的。 它是分析和设计现代数字逻辑电路不可缺少的数学工具。逻辑代数有一系列的定律、定理和规则，用它们对数学表达式进行处理，可以完成对逻辑电路的化简、变换、分析和设计。 逻辑关系指的是事件产生的条件和结果之间的因果关系。 在数字电路中往往是将事情的条件作为输入信号，而结果用输出信号表示。条件和结果的两种对立状态分别用逻辑“1” 和“0”表示。 　　1.　基本公式 　　２.1.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 吸收律 其它常用恒等式 AB＋ AC＋BC＝AB + AC AB＋ AC＋BCD＝AB + AC 常用恒等式的证明 　2、常用公式 A B + A B = A A 0 = A A 1 = A + + · A 0 = A A 1 = A · · AB = A + B A + B = A · B ， ， 3、基本公式的证明 例 证明 ， 列出等式、右边的函数值的真值表 (真值表证明法) 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 2.1.2 逻辑代数的基本规则 代入规则 2. 反演规则 3. 对偶规则 代入规则 ： 在包含变量A逻辑等式中，如果用另一个函数式代入式中所有A的位置，则等式仍然成立。这一规则称为代入规则。 例：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、保持原有运算的优先级，即先与后或，注意括号内的运算2、对于反变量以外的非号应保留不变  对于反变量以外的非号应保留不变。 用反演律,则 。 ，求 　 　　例1 已知 F CD+ 0 B A F + = 2. 反演规则： 　　解　用反演规则 可得 ( ) ( ) D C B A F + + = 1 　　解　由反演规则，可得 注意运算的先后顺序 对于任何逻辑函数式，若将其中的与（? ）换成或（+），或（+）换成与（?）；并将1换成0，0换成1；那么，所得的新的函数式就是L的对偶式，记作 例 3. 对偶规则： 对偶式的性质： 1、当某个恒等式成立时，则恒等式两侧的对偶式也相等； 2、函数表达式的对偶式再进行对偶运算，所得到的表达式就是原函数表达式 常见的几种逻辑函数表达式 “与或”式 “或与”式 “与非—与非”式 “或非—或非” 式 “与或非”式 “与或” 式 2.1.3 逻辑函数的变换与代数法化简 1.常见的几种逻辑函数表达式及其相互变换 a.常见的几种逻辑函数表达式 2.1.3 逻辑函数的变换与代数法化简  2、逻辑函数的变换 将逻辑函数与或式变换与非-与非表达式 例1 用与非门实现逻辑函数L1， 方法