




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、 逻辑代数的基本概念、公式和定理逻辑代数的基本概念、公式和定理 逻辑函数及其表示方法逻辑函数及其表示方法 逻辑函数的化简逻辑函数的化简ANOTY A序号序号公公 式式公公 式式1 A = A证明方法:推演 真值表左右BCABCCBABCACABACABA)()(1序 号公 式21A + A B = A22A +A B = A + B23A B + A B = A24A ( A + B) = A25A B + A C + B C = A B + A CA B A C + B CD = A B + A C26A (AB) = A B ; A (AB) = A CBABCACBABCBBABA)()
2、()(代入以原变量反变量反变量原变量,0110YY变换顺序变换顺序 先括号,先括号,然后乘,最后加然后乘,最后加不属于单个变量的不属于单个变量的上的反号保留不变上的反号保留不变DCBDACBCADCCBAYCDCBAY)()(YY变换顺序变换顺序 先括号,先括号,然后乘,最后加然后乘,最后加D)(CBAY )(CBAY)( BAB)(BAA) )()(BABABABABABABABABA)() )()()4个(22ABBABABA,)8个(32ABCCABCBACBABCACBACBACBA,ABCCABCBACBABCACBACBACBABACCBABCACBABCACBA)(与),()()
3、,(763mBCAABCCABAABCCABBCCABCBAY利用公式利用公式可将任何一个函数化为可将任何一个函数化为1 AA im),()(),(763mBCAABCCABAABCCABBCCABCBAY利用公式利用公式可将任何一个函数化为可将任何一个函数化为1 AA im),()(),(763mBCAABCCABAABCCABBCCABCBAY利用公式利用公式可将任何一个函数化为可将任何一个函数化为1 AA imDCBAACDBAADCBCDBDDCBDBCAADCBACBDBCDCBADCBAY)()(.)()(),(DCBAACDBAADCBCDBDDCBDBCAADCBACBDBCD
4、CBADCBAY)()(.)()(),(DCBAACDBAADCBCDBDDCBDBCAADCBACBDBCDCBADCBAY)()(.)()(),(DCBAACDBAADCBCDBDDCBDBCAADCBACBDBCDCBADCBAY)()(.)()(),()4个(22BABABABA,CBACBACBACBACBACBACBACBA imYikkmYikkmY)(kikkikMmYCBACYACDCBABCY21并项法,吸收法,消项法,消因子法,配项法。并项法,吸收法,消项法,消因子法,配项法。一、并项法一、并项法利用公式利用公式 AB + AB = A 将两项合并成一项。将两项合并成一项
5、。 Y = ABC + AC + BC = C ( AB + A + B) = C ( A + B + B) = C ( A + 1) = C并项法,吸收法,消项法,消因子法,配项法。并项法,吸收法,消项法,消因子法,配项法。二、吸收法二、吸收法利用公式利用公式 A + AB = A 将将 AB 项消去。项消去。 Y= A + (A(BC)(A+(BC+D) + BC = A + (A+BC)(A+ (BC+D) + BC = (A+BC) + (A+BC)(A+ (BC+D) = A+BC并项法,吸收法,消项法,消因子法,配项法。并项法,吸收法,消项法,消因子法,配项法。三、消项法三、消项法
6、利用公式利用公式 AB + AC + BC = AB + AC 及及 AB + AC + BCD = AB + AC 将将 BC 或或 BCD 项消去。项消去。Y=ABC+ABC+ABD+ABD+ABCD+BCDE =C(AB+AB)+D(AB+AB)+CD(AB+BE) =C(ACD(AB+BE) =C(ACD(AB+BE) =C(A并项法,吸收法,消项法,消因子法,配项法。并项法,吸收法,消项法,消因子法,配项法。四、消因子法四、消因子法利用公式利用公式 A + AB = A + B 将将 AB 中的中的 A 消去。消去。 Y= AC + AD + CD = AC + D(A + C) =
7、 AC + (AC)D = AC + D并项法,吸收法,消项法,消因子法,配项法。并项法,吸收法,消项法,消因子法,配项法。五、配项法五、配项法利用公式利用公式 A + A = A 或或 A + A = 1 进行化简。进行化简。 Y= ABC + ABC + ABC = ABC + ABC + ABC + ABC = AB(C + C) + BC(A + A) = AB + BCDBCBADCDBCBADEBAADCDBCBACDEBACBADCDBCBACCBADEBADBCACBADCDBCBACY )()()(DBCBADCDBCBADEBAADCDBCBACDEBACBADCDBCBA
8、CCBADEBADBCACBADCDBCBACY)()()(DBCBADCDBCBADEBAADCDBCBACDEBACBADCDBCBACCBADEBADBCACBADCDBCBACY)()()(DBCBADCDBCBADEBAADCDBCBACDEBACBADCDBCBACCBADEBADBCACBADCDBCBACY)()()(DBCBADCDBCBADEBAADCDBCBACDEBACBADCDBCBACCBADEBADBCACBADCDBCBACY)()()( im),()()(),CDDCDCCDBADBACCDCBABADBADCBADCBAY+ ACD+ ACD(B+B)CBCBCACACBAY),(ABCCBCBCACACBAY),(CBCABAABCCBCBCACACBAY),(ABCCBBACACBCBCACACBAY),(CBCABACBBACAABCDDCACBADCDCAABDABCY DCACBADCDCAABDABCY ABCDDAABCD=0DCB+ADD+ABCD+ABCCB+ADCD+ABCBACD+BADCBABCDADCBAY 给定约束条件为:给定约束条件为:例:ABCD=0DCB+ADD+ABCD+ABCCB+ADCD+ABCBACD+BADCBABCDADCBAY 给定约束条件为:给定约束条件
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 健康医疗设备销售与服务协议
- 二零二五年度企业办公设备智能化改造与升级合同
- 社交媒体营销策略在商业领域的创新实践
- 北师大版七年级数学课外辅导计划
- 学校信息化教育平台建设合作合同
- 电子商务中即时配送模式的研究
- 华师大版七年级数学下册教学计划解析
- 科技产品中人性化界面的设计趋势与应用
- 关于员工假期安排的通知申请示例
- 办公室规章制度修订说明
- 264省道淮安段(原淮安楚州施河至涟水五港公路)环评报告
- (完整版)书籍装帧设计
- 第九章古典文献的检索
- 初中物理实验全集-ppt
- 创新收益占有文献综述
- 急性肠系膜血管缺血性疾病
- GB/T 20169-2006离子型稀土矿混合稀土氧化物
- GB/T 19477-2018畜禽屠宰操作规程牛
- GB/T 18290.5-2015无焊连接第5部分:压入式连接一般要求、试验方法和使用导则
- GB/T 16451-2008天然脂肪醇
- 中建某公司技术质量工作会讲稿总工
评论
0/150
提交评论