原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
（1）
§2.3 逻辑代数的基本公式和常用公式
2.3.1 基本公式
或运算规则:
0+0=0 ，0+1=1 ，1+0=1，1+1=1
与运算规则:
0•0=0 0•1=0 1•0=0 1•1=1
非运算规则:
一、基本定律
（2）
二、交换律
三、结合律
四、分配律
A+B=B+A
A• B=B • A
A+(B+C)=(A+B)+C=(A+C)+B
A• (B • C)=(A • B) • C
A(B+C)=A • B+A • C
A+B • C=(A+B)(A+C)
（4）
五、德 摩根定理(反演律）
（De Morgan)
证明：
真值表法、穷举法
推广到多变量：
说明：两个（或两个以上）变量的与非（或非）运算等于两个（或两个以上）变量的非或（非与）运算。
（5）
用真值表证明摩根定理成立
A B
0 0
0 1
1 0
1 1
1
1
1
0
1
1
1
0
相等
（6）
吸收：多余（冗余）项，多余（冗余）因子被取消、去掉 被消化了。
1.原变量的吸收：
A + AB = A
证明：
左式=A(1+B)
原式成立
长中含短,
留下短。
长项
短项
=A
=右式
2.3.2 若干常用公式--几种形式的吸收律
（7）
2. 反变量的吸收：
证明：
=右式
长中含反,
去掉反。
（8）
3.混合变量的吸收：
证明：
=右式
正负相对,
余全完。
（消冗余项）
（9）
证明：
√ ×
× ×
（10）
§ 2.4 逻辑代数的基本定理
2.4.1 代入定理
内容：在任何一个包含变量A的逻辑等式中，若以另外一个逻辑式代替式中所有的变量A，则等式仍然成立。
例：用代入规则证明德 摩根定理也适用于多变量的情况。
二变量的德 摩根定理为：
（11）
以（B·C）代入（1）式中B，以（B+C）代入（2）式中B，则得到：
注：代入定理还可以扩展其他基本定律的应用范围！
（12）
2.4.2 反演定理
内容：将函数式F中所有的
变量与常数均取反
1.遵循先括号 再乘法 后加法的运算顺序。
2.不是一个变量上的反号不动。
规则:
用处：实现互补运算（求反运算）。
(反函数)
（13）
例1：
与或式
注意括号
注意
括号
（14）
与或式
反号不动
反号不动
（15）
常用公式
1.消去公式：A+
2.吸收公式：
3.并项公式：
4.多余项公式：
（16）
谢谢！敬请期待开启下一章节
文档评论（0）