版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
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. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 吉林省2024七年级数学上册第1章有理数1.9有理数的乘法1.有理数的乘法法则课件新版华东师大版
- 重症感染的诊断与治疗
- 风湿性心脏瓣膜病外科
- 护理病房交接班制度
- 彩色的花教案反思
- 寒风中的人说课稿
- 春季安全教育及文明祭祀
- 日化解决方案
- 加油站计量市场分析报告
- 机械厂消防改造工程协议
- 期末 (试题) -2024-2025学年人教PEP版英语六年级上册
- 第五单元 倍的认识(单元测试)-2024-2025学年三年级上册数学人教版
- 让我们一起去追“星”!两弹一星之核弹老人魏世杰课件高二下学期爱国主义教育主题班会
- 不锈钢管市场洞察报告
- 课程定位与课程设计情况
- 安徽省A10联盟2025届高三物理上学期11月段考试题
- 异常子宫出血健康宣教课件
- 基础设施和公用事业特许经营管理办法修订及影响专题讲座课件
- 人教版(2024)七年级上册数学第4章 整式的加减运算 达标测试卷(含答案)
- 2024年铁路机车车辆驾驶人员(J6类)考前冲刺必会试题库300题(含详解)
- 2024年云南德宏州州级事业单位选调工作人员历年【重点基础提升】模拟试题(共500题)附带答案详解
评论
0/150
提交评论