南京师范大学电气与自动化工程学院电子技术基础（数字电子技术基础）课件第二章 逻辑代数.ppt

2.2.4 用卡诺图化简逻辑函数 例 :用卡诺图法化简下列逻辑函数 （2）画包围圈合并最小项，得最简与-或表达式 解：(1) 由L 画出卡诺图 (0，2，5，7，8，10，13，15) 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 例1: 用卡诺图化简 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 圈0 圈1 当‘0’的个数远远少于‘1’时，也可以用包围‘0 ’化简，但得到的是反函数 ; 例2：已知函数的真值表如下,试化简为最简与或式和 与非--与非式 解： 1)由真值表写出逻辑表达式； 2)填卡诺图化简: ABC L ? 000 1 001 1 010 0 ? 011 1 100 0 ? 101 1 110 0 ? 111 0 ? 1 1 1 1 1 0 10 11 01 00 BC A * 2 .逻辑代数与硬件描述语言基础 2.1 逻辑代数(BOOLEAN ALGEBRA) 2.2 逻辑函数的卡诺图化简法 2.3 硬件描述语言Verilog HDL基础 教学基本要求 1、熟悉逻辑代数常用基本定律、恒等式 和规则。 2、掌握逻辑代数的变换和卡诺图化简法； 2.1.1 逻辑代数的基本定律和恒等式 2.1 逻辑代数( Boolean Algebra ) 2.1.3 逻辑函数的变换及代数化简法 2.1.2 逻辑代数的基本规则 　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 DeMorgen’s 2、基本公式的证明 例 证明 ， 列出等式、右边的函数值的真值表 真值表(Truth table)证明法 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 逻辑代数的基本规则 代入规则 ： 在包含变量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. 反演规则： 例2.1.1 试求 的非函数 解：按照反演规则，得 对于任何逻辑函数式，若将其中的与（? ）换成或（+），或（+）换成与（?）；并将1换成0，0换成1；那么，所得的新的函数式就是L的对偶式，记作 。 例: 逻辑函数 的对偶式为 3. 对偶规则： 当某个逻辑恒等式成立时，则该恒等式两侧的对偶式也相等。 这就是对偶规则。利用对偶规则，可从已知公式中得到更多的 运算公式，例如，吸收律 注意在求 反演和对偶时： 1）原函数中的计算优先级不能改变； 2）长非号保持不变； 例 . 求函数L的 反函数、对偶函数。 “或-与”表达式 “与非-与非”表达式 “与-或-非”表达式 “或非－或非” 表达式 “与-或” 表达式 2.1.3 逻辑函数的代数法化简 1、逻辑函数的最简与-或表达式 在若干个逻辑关系相同的与-或表达式中，将其中包含的与项数 最少，且每个与项中变量数最少的表达式称为最简与-