代数法化简逻辑函数.docVIP

第二章 逻辑代数 2.1 逻辑代数 2.2 逻辑函数的卡诺图化简法 2.1 逻辑代数 二.基本定律和恒等式 1. 基本公式 （公理） 与运算： 0?0=0 0?1=0 1?0=0 1?1=1 或运算： 0+0=0 0+1=1 1+0=1 1+1=1 非运算： 0 ? 1 1 ? 0 2. 定律 常量与变量 运算律： 互补律： 重叠律： A+A=A A? A=A 双重否定律： A ? A 2.1 逻辑代数 结合律 (A+B)+C=A+(B+C) ; (AB)·C=A·(BC) 交换律 A+B=B+A ; AB=BA 分配律 A·(B+C)=AB+AC ; A+BC=(A+B)(A+C) 摩根定律 A ? B ? A ? B ; A ? B ? A ? B 例 用真值表法证明摩根定律（反演律）：A ? B ? A ? B 2.1 逻辑代数 吸收定律 A+AB=A A·(A+B)=A A? ? ? A?A ? B ?? AB AB A B 例证明吸收律 A ? AB ? A ? B 证： A ? AB ? A(B ? B) ? AB ? AB? AB? AB ? AB? AB? AB? AB ? A(B ? B) ? B(A? A) ? A ? B 冗余律 AB+AC+BC=AB+AC ; ? AB? AC?(A? A)BC 例 ? AB? AC ? ABC? ABC ? AB(1? C