逻辑代数基本公式及定律电子教案_第1页
逻辑代数基本公式及定律电子教案_第2页
逻辑代数基本公式及定律电子教案_第3页
逻辑代数基本公式及定律电子教案_第4页
逻辑代数基本公式及定律电子教案_第5页
已阅读5页，还剩11页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

逻辑代数基本公式及定律求证:

（分配律第2条）A+BC=(A+B)(A+C)证明:右边=(A+B)(A+C)=AA+AB+AC+BC;分配律=A+A(B+C)+BC;结合律,AA=A=A(1+B+C)+BC;结合律=A•1+BC;1+B+C=1=A+BC;A•1=A=左边2五、德摩根定理(反演律）（DeMorgan)证明：真值表法、穷举法推广到多变量：说明：两个（或两个以上）变量的与非（或非）运算等于两个（或两个以上）变量的非或（非与）运算。3用真值表证明摩根定理成立A·B=A+BA+B=A·BAB00011011Y1=A·BY2=A+B11101110相等4吸收：多余（冗余）项，多余（冗余）因子被取消、去掉

被消化了。1.原变量的吸收：A+AB=A证明：左式=A(1+B)原式成立口诀：长中含短,留下短。长项短项=A=右式1||2.3.2若干常用公式--几种形式的吸收律52.反变量的吸收：A+AB=A+B证明：=右式口诀：长中含反,去掉反。原(反)变量反(原)变量添冗余项1||63.混合变量的吸收：证明：添冗余因子AB+AC+BC=AB+AC互为反变量=右式口诀：正负相对,余全完。（消冗余项）添加7证明：4.A·A·B=A·BA·A·B=AA·A·B=A·(A+B)=A·BA·A·B=A·A·B=?

A·(A+B)=A

AAA·BA·B√×××8§

2.4逻辑代数的基本定理2.4.1代入定理内容：在任何一个包含变量A的逻辑等式中，若以另外一个逻辑式代替式中所有的变量A，则等式仍然成立。例：用代入规则证明德摩根定理也适用于多变量的情况。二变量的德摩根定理为：9以（B·C）代入（1）式中B，以（B+C）代入（2）式中B，则得到：注：代入定理还可以扩展其他基本定律的应用范围！102.4.2反演定理内容：将函数式F中所有的++变量与常数均取反1.遵循先括号再乘法后加法的运算顺序。2.不是一个变量上的反号不动。规则:用处：实现互补运算（求反运算）。新表达式：显然：(反函数)11例1：与或式注意括号注意括号12例2：与或式反号不动反号不动13常用公式1.消去公式：A+2.吸收公式：3.

人人文库> 全部分类> 教育资料 > 课件下载

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论