第2章-逻辑代数基础-第3次课.pdf

数字电路——分析与设计 第2章 逻辑代数基础 数字电路——分析与设计 第2章 逻辑代数基础 2.3.3 逻辑代数的基本定理 • 证明表2.10所列出定理的最根本方法就是利用真值表。 表2.10 逻辑代数基本定理 • 也可以利用逻辑代数的方法证明表2.10所列出的各定理。 名 称 公 式 • 在利用逻辑代数的方法证明表2.10中各定理时要用到逻 合并定理 1.AB +AB A 1.＇(A +B )(A +B ) A 辑代数的公理、基本定律、已获证明的其他定理和三个 吸收定理 2.A +AB A 1.＇A (A +B ) A 重要规则。 3.A +A B A +B 2.＇A (A +B ) AB 4.＇(A +B )(A +C)(B +C) （1）证明“合并定理”公式1： AB +A C +BC AB +A C 4. 添加项定理 (A +B )(A +C) 证明： AB +AB A(B +B ) （分配律） 5.＇(A +B )(A +C)(B +C +D ) 5.AB +A C +BCD AB +A C A ⋅1 （互补律） (A +B )(A +C) 6.＇(A +B )(A +C) A （自等律） AB +A C AB +A C 6. (A +B )(A +C ) 2014年9月17 日 北京理工大学 信息科学学院 1 2014年9月17 日 北京理工大学 信息科学学院 2 数字电路——分析与设计 第2章 逻辑代数基础 数字电路——分析与设计 第2章 逻辑代数基础 （2）证明“吸收定理”的公式2： （4）证明“添加项定理”的公式4： A +AB A (1+B ) （自等律、分配律） AB +A C +BC AB +A C +(A +A )BC 证明：