重庆university数电复试资料.ppt

2. 逻辑代数基本定理 逻辑表达式：逻辑常量及逻辑变量之间的逻辑运算式称为逻 辑表达式。 证明方法：枚举法----按基本逻辑运算（与、或、非）的定 义列出真值表进行逻辑运算。 3. 常用恒等式 证明常用恒等式的方法：用基本定理导出或枚举法 3.2 逻辑运算的基本规则 2. 反演规则 3. 对偶规则 3.3 逻辑函数的代数法化简 最简与或表达式的标准： （1）乘积项的个数最少； (2)吸收法 (5) 配项法 3.4.1 逻辑函数标准表达式 最小项的性质： ①对于任意一个最小项，只有一组变量取值使其为1，其它组取值使其为 0。 为1 的取值组合是最小项的编号。 逻辑相邻: 仅有一个变量不同的2个最小项称为逻辑相邻最小项，简称相邻项。 2.标准或与式 一般地，n个变量的逻辑函数有2n个最大项。例如，3变量的逻辑函数有23个最大项， 最大项的编号方法： 最大项一般表达式： 3.4.2 逻辑函数的卡诺图 2． 逻辑函数的卡诺图 方法二：由表达式直接填入 （2）由真值表画卡诺图 3.4.3逻辑函数的卡诺图化简 推广到一般情况： 两-两相邻的2n个方格合并，消去不同的n个变量，保留公共变量。 因为2n个方格合并时，提出公共变量（公因子）后，恰是余下的n个变量的全部最小项之和，其值恒为1。 公共变量是卡诺图上2n个最小项具有相同行列编码的变量之积。 2．化简的步骤 例3.10 化简函数(A,B,C,D)=∑m(0,1,2,5,6,7,14,15)。 解： 约束方程： 无关项在真值表和卡诺图中用 “?” 或“d”表示。 2. 应用无关项化简函数 　　 对于无关项，函数为任意值d（0或1），意味着在函数表达式中可以包含或者去掉无关项；在卡诺图中，无关项对应的方格可为0也可为1。 例3.13 用卡诺图化简逻辑函数Y(A,B,C,D)=∑m(1,2,5,6,9)+ ∑d(10,11,12,13,14,15) A BC 00 01 11 10 0 1 1 1 1 1 1 A BC 1 1 1 1 1 0 1 1 1 1 0 1 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 Y C B A 在卡诺图中，使逻辑函数值为１的最小项填入１；使逻辑 函数值为０的最小项填入０，为了直观和简洁，通常０不填写。 例 已知逻辑函数Y的真值表，画出Y的卡诺图。 解：a.直接填入卡诺图 1 0 10 11 01 00 1 BC A 1 1 1 b. 写标准表达式，填入卡诺图 end 1．化简的依据 10 11 01 00 10 11 01 00 CD AB 例： 凡几何相邻的方格，对应的最小项逻辑上也相邻。而逻辑相邻的最小 项求和时，可反复应用 的关系进行最小项合并，消去最小项中不同的变量（ ），保留公共变量（公因子）。公因子是卡诺图上最小项 具有相同行列编码的变量之积。 相邻的2个方格合并，消去一个变量； 相邻的4个方格合并， 消去2个变量； 相邻的8个方格合并，消去3个变量。 (1)画出逻辑函数的卡诺图（2n个方格） (2)画卡诺圈 ①卡诺圈越少越好（因一个卡诺圈代表一个与项）； ②卡诺圈内值为1的方格越多越好（因圈越大消去的变量越多，与项包含的变量越少）。 ③卡诺圈可以交迭，但每个卡诺圈必须至少有与其它卡诺圈不同的、值为1的方格。 (3)求每个卡诺圈的公共变量之积（与项）并相加，得到最简 的与或表达式。 卡诺圈：把2n个值为1的逻辑相邻的方格画成一个圈， 表示最小项求逻辑和。 解：在画卡诺圈时，注意到卡诺图的对称相邻特性，可以想象 将两边粘连，上下粘连。 10 1 1 11 1 1 1 01 1 1 1 00 10 11 01 00 CD AB 10 1 1 11 1 1 1 01 1 1 1 00 10 11 01 00 CD AB （ a ） （ b ） 因图（a）的卡诺圈比图（b）的多，所以图(b)是正确的卡诺圈。 由图（b）,函数Y的最简与或式为 例3.11已知逻辑函数Y(A,B,C,D)=∑m(0,1,2,8,9,10,11,13,15)， 求①函数Y的最简与或式；②反函数的最简与或式；③函数Y的最 简或与式。 CD 1 1 1 1 10 1 1 11 01 1 1 1 00 10 11 01 00 AB CD 1 1 1 1 10 1 1 11 01 1 1 1 00 10 11 01 00 AB