- 1、本文档共104页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
AD BD BD BD (3)任何8个(23个)标1的相邻最小项,可以合并为一项,并消去3个变量。 D B 小结:相邻最小项的数目必须为个才能合并为一项,并消去个变量。包含的最小项数目越多,即由这些最小项所形成的圈越大,消去的变量也就越多,从而所得到的逻辑表达式就越简单。这就是利用卡诺图化简逻辑函数的基本原理。 4、图形法化简的基本步骤 逻辑表达式或真值表 卡诺图 1 1 合并最小项 ①圈越大越好,但每个圈中标1的方格数目必须为 个。②同一个方格可同时画在几个圈内,但每个圈都要有新的方格,否则它就是多余的。③不能漏掉任何一个标1的方格。 最简与或表达式 BD CD ACD 冗余项 2 2 3 3 将代表每个圈的乘积项相加 两点说明: ① 在有些情况下,最小项的圈法不只一种,得到的各个乘积项组成的与或表达式各不相同,哪个是最简的,要经过比较、检查才能确定。 ACD+BCD+ABC+AD 不是最简 BCD+ABC+AD 最简 ② 在有些情况下,不同圈法得到的与或表达式都是最简形式。即一个函数的最简与或表达式不是唯一的。 AC+ABD+ABC+BCD AC+ABD+ABC+ABD 1.4.4 含随意项的逻辑函数的化简 随意项:函数可以随意取值(可以为0,也可以为1)或不会出现的变量取值所对应的最小项称为随意项,也叫做约束项或无关项。 1、含随意项的逻辑函数 例如:判断一位十进制数是否为偶数。 不会出现 不会出现 不会出现 不会出现 不会出现 不会出现 说 明 × 1 1 1 1 0 0 1 1 1 × 1 1 1 0 1 0 1 1 0 × 1 1 0 1 0 0 1 0 1 × 1 1 0 0 1 0 1 0 0 × 1 0 1 1 0 0 0 1 1 × 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 Y A B C D Y A B C D 输入变量A,B,C,D取值为0000~1001时,逻辑函数Y有确定的值,根据题意,偶数时为1,奇数时为0。 A,B,C,D取值为1010 ~1111的情况不会出现或不允许出现,对应的最小项属于随意项。用符号“φ”、“×”或“d”表示。 随意项之和构成的逻辑表达式叫做 随意条件或约束条件,用一个值恒为 0 的条件等式表示。 含有随意条件的逻辑函数可以表示成如下形式: 2、含随意项的逻辑函数的化简 在逻辑函数的化简中,充分利用随意项可以得到更加简单的逻辑表达式,因而其相应的逻辑电路也更简单。在化简过程中,随意项的取值可视具体情况取0或取1。具体地讲,如果随意项对化简有利,则取1;如果随意项对化简不利,则取0。 不利用随意项的化简结果为: 利用随意项的化简结果为: 3、变量互相排斥的逻辑函数的化简 在一组变量中,如果只要有一个变量取值为1,则其它变量的值就一定为0,具有这种制约关系的变量叫做互相排斥的变量。变量互相排斥的逻辑函数也是一种含有随意项的逻辑函数。 简化真值表 4、常用的逻辑运算 (1)与非运算:逻辑表达式为: (2)或非运算:逻辑表达式为: (3)异或运算:逻辑表达式为: (4) 与或非运算:逻辑表达式为: 5、逻辑函数及其相等概念 (1)逻辑表达式:由逻辑变量和与、或、非3种运算符连接起来所构成的式子。在逻辑表达式中,等式右边的字母A、B、C、D等称为输入逻辑变量,等式左边的字母Y称为输出逻辑变量,字母上面没有非运算符的叫做原变量,有非运算符的叫做反变量。 (2)逻辑函数:如果对应于输入逻辑变量A、B、C、…的每一组确定值,输出逻辑变量Y就有唯一确定的值,则称Y是A、B、C、…的逻辑函数。记为 注意:与普通代数不同的是,在逻辑代数中,不管是变量还是函数,其取值都只能是0或1,并且这里的0和1只表示两种不同的状态,没有数量的含义。 (3)逻辑函数相等的概念:设有两个逻辑函数 它们的变量都是A、B、C、…,如果对应于变量A、B、C、…的任何一组变量取值,Y1和Y2的值都相同,则称Y1和Y2是相等的,记为Y1=Y2。 若两个逻辑函数相等,则它们的真值表一定相同;反之,若两个函数的真值表完全相同,则这两个函数一定相等。因此,要证明两个逻辑函数是否相等,只要分别列出它们的真值表,看看它们的真值表是否相同即可。 证明等式: 1.3.2 逻辑代数的公式、定理和规则 1、逻辑代数的公式和定理 (1)常量之间的关系 (2)基本公式 分别令A=0及A=1代入这些公式,即可证明它们的正确性。 (3)基
文档评论(0)