- 1、本文档共71页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
4、写出最简“与-或”表达式。 例2:试用图形化简法求逻辑函数F(A,B,C,D)=∑m (1,2,4,9,10,11,13,15)的最简与或表达式。 1 1 1 1 1 1 1 1 例3:用卡诺图化简函数 Y= ∑m (1,3,6,7,14) 注:卡诺图化简得到的最简与或式不一定唯一。 1 1 1 1 1 一、约束项、任意项和逻辑函数式中的无关项 约束项——在某些情况下,输入变量的取值不是任意的。当限制某些输入变量的取值不能出现时,可以用它们对应的最小项恒等于0来表示。这些恒等于0的最小项叫约束项。 任意项——有时输入变量的某些取值是1还是0皆可,并不影响电路的功能。在这些变量取值下,其值等于1的那些最小项称为任意项。 无关项——约束项和任意项统称为逻辑函数中的无关项。“无关”指是否将这些最小项写入逻辑函数式无关紧要,在卡诺图中用“×”表示无关项。在化简逻辑函数时,可认为它是1,也可认为它是0。 9 具有无关项的逻辑函数及其化简 二、无关项在化简逻辑函数中的应用 化简具有无关项的逻辑函数时,如果能合理利用这些无关项,一般都可以得到更加简单的化简结果。 合并最小项时,究竟把卡诺图上的“×”作为1还是0,应以得到的相邻最小项矩形组合最大,而且矩形组合数目最小为原则。 例:试化简逻辑函数 已知约束条件为: 1 1 1 1 x x x x x x 例:试用卡诺图化简逻辑函数 解答:此例有两种解法,从原理而言,两种解法均正确,但就“最简”原则而言,只有一种解法最简单、最可取。因此,在考虑卡诺图化简不唯一性的同时,还应考虑“最简”原则。 思考:由上例可得出什么结论和启示? 思考1:公式化简和卡诺图化简各有何优缺? 化简法 优点 缺点 公式法 化简不受输入变量数目的影响。 化简过程没有固定的、通用的步骤可循,不适用于计算机辅助化简。 卡诺图法 直观、简单 输入变量数目较多时(例如5),不再直观,且化简需凭设计者的经验,不便于利用计算机完成化简工作。 * 英国数学家George Boole于1815年11月生于英格兰的林肯。由于家境贫寒,布尔不得不在协助养家的同时为自己能受教育而奋斗,16岁就开始任教以维持生活,20岁时对数学产生了浓厚的兴趣,开始广泛涉猎著名数学家牛顿、拉普拉斯、拉格朗日等人的数学名著,并写下了大量笔记。1847年,发表了著作《The Mathematical Analysis of Logic》,在这本书中,阐述了正式的逻辑学公理,建立了布尔代数(也称逻辑代数)。他的逻辑理论建立在两个逻辑值0、1和三个运算符与、或、非的基础上,这种简化的二值逻辑为计算机的二进制数、开关逻辑元件和逻辑电路的设计铺平了道路,并最终为计算机的发明奠定了数学基础。 1849年,他被任命位于爱尔兰科克的皇后学院的数学教授。1854年,他出版了《The Laws of Thought》,这是他最著名的著作。在这本书中布尔介绍了现在以他的名字命名的布尔代数。布尔撰写了微分方程和差分方程的课本,这些课本在英国一直使用到19世纪末。1864年,布尔死于肺炎。 运用逻辑代数的基本定律和常用公式对逻辑式进行化简,消去函数中多余的乘积项和乘积项中的多余变量,使逻辑函数成为最简与-或式。 并项法 运用 , 将两项合并为一项,并消去一个互补的变量 二、常用的公式化简方法 吸收法 运用A+AB =A 和 ,消去多余的与项。 A + AB = A A + AB = A (1 + B) = A 消去法 运用吸收律 ,消去多余因子。 配项法 通过乘 或加入零项 进行配项,然后再化简。 综合灵活运用上述方法 [例] 化简逻辑式 解: 应用 [例] 化简逻辑式 解: [例] 化简逻辑式 解: 应用 用摩根定律 用门电路实现逻辑函数时,需要使用与门、或门、非门、与或非门等器件,究竟将函数式变换成什么形式,要视所用门电路的功能而定。 例1:将逻辑函数 化为与非-与非形式。 例2:试用或非门画出函数 的逻辑图。 三、指定器件的逻辑函数化简(*)
文档评论(0)