《数字电子技术基础》第六版2.3逻辑代数的基本公式和常用公式2.3.1 基本公式2.3.2 常用公式
《数字电子技术基础》第六版 2.3.1 基本公式 2.3.2 常用公式 2.3 逻辑代数的基本公式和常用公 式
《数字电子技术基础》》第六版2.3.1 基本公真值证明方法：推演表n根据与、或、非的定义，得表2.3.1的布尔恒等式公公式式序号序号101/=0;0/=11OA=0111 + A= 12O+A=A121A=A313A+A=AAA=A4AA"=014A+A'= 1515A +B = LA B = B AB+A616(B +C)A (B C)(A B) CA +==(A1 + B)+c717A(B+C)ACA+BC=(A=AIB++B) (A +C)8//(A B)= A"+ B'18(A+ B)=A"B"9)(A= A
《数字电子技术基础》第六版 2.3.1 基本公式 n 根据与、或、非的定义，得表2.3.1的布尔恒等式 序号 公 式 序号 公 式 10 1′ = 0; 0′= 1 1 0 A = 0 11 1 + A= 1 2 1 A = A 12 0 + A = A 3 A A = A 13 A + A = A 4 A A′= 0 14 A + A′ = 1 5 A B = B A 15 A +B = B + A 6 A (B C) = (A B) C 16 A + (B +C) = (A + B) + C 7 A (B +C) = A B + A C 17 A + B C = (A +B)(A +C) 8 (A B) ′ = A′ + B′ 18 (A+ B) ′ = A′B′ 9 (A ′) ′ = A 证明方法：推演 真值 表
《数字电子技术基础》第六版公式（17）的证明（公式推演法）：右=(A+B)(A+C)=A+AB+AC+BC= A(1+B+C)+BC=A+BC=左
《数字电子技术基础》第六版 公式（17）的证明 （公式推演法）：
《数字电子技术基础》》第六版公式（17）的证明（真值表法）：（cABBCA+BA+C(A+B)(A+C)A+BC0000000000000011100000011101111100111101101110111001111711111111
《数字电子技术基础》第六版 公式（17）的证明（真值表法）： A B C BC A+BC A+B A+C （A+B）(A+C) 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1
《数字电子技术基础》第六版2.3.2 若干常用公式公式序号21A+AB=A22A+A^B=A+B23ＡＢ＋ＡＢ＇=Ａ24 A（A+B)=A25CAB+A`C+BC=AB+A'CAB+A'C+B=AB＋Ａ^CD26=AB;A"(AB)A (AB)/=A
《数字电子技术基础》第六版 2.3.2 若干常用公式 序 号 公 式 21 A + A B = A 22 A +A ′B = A + B 23 A B + A B′ = A 24 A ( A + B) = A 25 A B + A′ C + B C = A B + A′ C A B + A′ C + B CD = A B + A′ C 26 A (AB) ′ = A B′ ; A′ (AB) ′ = A′