版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、2.1 逻辑代数 2.2 逻辑函数的卡诺图化简法 2 .逻辑代数与硬件描述语言基础教学基本要求1、熟悉逻辑代数常用基本定律、恒等式和规则。2、掌握逻辑代数变换的化简法和卡诺图化简法。2.3 硬件描述语言Verilog HDL基础 2.1.1 逻辑代数的基本定律和恒等式2.1 逻辑代数2.1.3 逻辑函数的变换及代数化简法2.1.2 逻辑代数的基本规则2.1 逻辑代数 逻辑代数又称布尔代数。它是分析和设计现代数字逻辑电路不可缺少的数学工具。逻辑代数有一系列的定律、定理和规则,用于对数学表达式进行处理,以完成对逻辑电路的化简、变换、分析和设计。 逻辑关系指的是事件产生的条件和结果之间的因果关系。在
2、数字电路中往往是将事情的条件作为输入信号,而结果用输出信号表示。条件和结果的两种对立状态分别用逻辑“1” 和“0”表示。1、基本公式交换律:A + B = B + AA B = B A结合律:(A + B) + C = A + (B + C )(A B ) C = A ( B C )A 1 = AA 0 = 0A + 0 = AA + 1 = 10、1律:A A = AA + A = A2.1.1逻辑代数的基本定律和恒等式分配律:A + BC = ( A + B )( A + C )A ( B + C ) = AB + AC 或与A + A = 1A A = 0重叠律:反演律(摩根定律):吸收
3、律: 其它常用恒等式 ABACBCAB + ACABACBCDAB + AC2.1.1逻辑代数的基本定律和恒等式ABC = A + B +C+ A+B+C + = A B C 例 证明列出等式、右边的函数值的真值表011 = 001+1=00 01 1110 = 101+0=00 11 0101 = 100+1=01 00 1100 = 110+0=11 10 0A+BA+BA B A B(真值表证明法)2、基本公式的证明2.1.1逻辑代数的基本定律和恒等式反演律(摩根定律)的证明: 2.1.1逻辑代数的基本定律和恒等式2、基本公式的证明吸收律的证明: 其它常用恒等式证明 ABACBCAB +
4、 AC2.1.1逻辑代数的基本定律和恒等式1 代入规则 : 在包含变量A逻辑等式中,如果用另一个函数式代入式中所有A的位置,则等式仍然成立。这一规则称为代入规则。 2.1.2 逻辑代数的基本规则 用A C代替A,得代入规则可以扩展所有基本公式或定律的应用范围例:AB = A+BAC B = AC+B=A+B+C2. 反演规则:例 2.1.1 试求 的非(反)函数解:按照反演规则,得 2.1.2 逻辑代数的基本规则 对于任意一个逻辑表达式L,求其非函数时:则将其中所有的与( )换成或(+),或(+)换成与();原变量换为反变量,反变量换为原变量;将1换成0,0换成1;则得到的结果就是原函数的非(
5、反)函数。注意两点:1 保持原有优先级不变按照先“括号”,然后“与”,最后“或”的顺序进行2 对于反变量以外的“非”号应保持不变例 2.1.2 试求 的非函数解:按照反演规则,得 例: 逻辑函数 的对偶式为3. 对偶规则: 当某个逻辑恒等式成立时,则该恒等式两侧的对偶式也相等。这就是对偶规则。利用对偶规则,可从已知公式中得到更多的运算公式,例如,吸收律 2.1.2 逻辑代数的基本规则 原式对偶式 对于任何逻辑函数式,若将其中的与( )换成或(+),或(+)换成与();并将1换成0,0换成1;变量保持不变:那么,所得的新的函数式就是L的对偶式,记作 变换时按照先括号,然后与,最后或的顺序进行。L
6、“或-与”表达式“与-或” 表达式 2.3 逻辑函数的代数化简法1、逻辑函数的基本表达式 a.与-或表达式中,若干个与项进行或运算(各乘积项相加)例如: a.或-与表达式中,若干个或项进行与运算(各相加项乘积)例如:L“或-与”表达式“与非-与非”表达式 “与-或-非”表达式“或非或非” 表达式“与-或” 表达式 2.3 逻辑函数的代数化简法2、逻辑函数的最简与-或表达式在若干个逻辑关系相同的与-或表达式中,将其中包含的与项数最少,且每个与项中变量数最少的表达式称为最简与-或表达式。 首先将一般的函数关系式化简成最简单的与-或表达式,然后再根据题的要求化成其它表达式这样画逻辑图时用的逻辑门数最
7、少,图简单而且成本低,同一个函数的不同最简式 2.3 逻辑函数的代数化简法 -AABA B -B-ABABL=AB+AB+ABA BB-AL=A+B=(A+A)B+AB=B+AB=B+A3、逻辑函数的化简为了降低成本图(a)逻辑图可化简成图(b)形式图(a)图(b)4、逻辑函数的化简方法 化简的主要方法:() 公式法(代数法)()卡诺图法(图解法)() 代数化简法: 运用逻辑代数的基本定律和恒等式进行化简的方法。 a.并项法: 2.3 逻辑函数的代数法化简利用两项合成一项 d.配项法:利用 增加必要的乘积项 (因为 )b.吸收法: 利用 消去多余项ABA + AB = A c.消去法:利用 消去多余的因子 (因为 )A+AB=A+B 2.3 逻辑函数的代数法化简 2.3 逻辑函数的代数法化简例2.1.7 已知要化简逻辑函数表达式为解:(利用 )(利用 ),要求:(1)最简的与-或逻辑函数表达式,并画出相应的逻辑图; (2)仅用与非门画出最简表达式的逻辑图。解: 2.3 逻辑函数的代数法化简例2.1.8 已知
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2024版企业借款担保合同范本
- 2025年度云计算数据中心建设与运营合同3篇
- 渭南职业技术学院《学科综合训练》2023-2024学年第一学期期末试卷
- 二零二五版反担保合同编制与合同履行规范3篇
- 2024年适用各类借款协议标准格式三例版
- 潍坊工商职业学院《嵌入式系统与开发》2023-2024学年第一学期期末试卷
- 2024版电梯施工安全协议书范本
- 二零二五年度环保产业股票质押管理合同3篇
- 2024版环保新材料研发与生产合作协议
- 二零二五版建筑材料居间代理合同规范文本2篇
- 家长要求学校换老师的申请书
- 扣款通知单 采购部
- 铁路工程主要建材碳排放因子、常用施工机械台班能源用量、类运输方式、能源碳排放因子、不同植栽方式绿化固碳量
- 设计基础全套教学课件
- 药品养护记录表
- IATF16949包装方案评审表
- 食堂服务外包投标方案(技术标)
- 绿建评分报告模板
- 1 运行方案说明
- 大骨节病专业知识讲座课件
- PHILIPS HeartStart XL+操作培训课件
评论
0/150
提交评论