数空电子技术基础》第五版 23.1基本公式—证明方法:推演真值 表 ·根据与、或、非的定义,得表2.3.1的布尔恒等式 序号公式 序号 公式 10 1=0:0′=1 04=011+4=1 2 E1A=A-t 12 0+A=A F2A4##A+A=A E 4 AA′=0 14 A+A′=1 AB=BA A+B=B+AT 6A(BC)=(AB)CH A+(B+C)=(A+B)+C 7A(B+C)=AB+AC 17 A+BC=(A+B)(A+C) 8 (AB)=A'+B' 18 A+B)′=AB′ 1)′=A 有大
《数字电子技术基础》第五版 2.3.1 基本公式 • 根据与、或、非的定义，得表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)的证明(公式推演法) 右=(4+BA+C) A+AB+AC+BC =4(+B+C)+BC =A+BC=左 有大
《数字电子技术基础》第五版 公式（17）的证明（公式推演法）： 左 右 = + = = + + + = + + + = + + A BC A B C BC A AB AC BC A B A C ( ) ( )( ) 1
《数字电子技术基础》第五版 公式(17)的证明(真值表法): ABC A+BC 4+B A+C(4+B)(4+C) 000 0 0 0 001 0001 000 0 0 010 00 011 1000 1010 1100 1 1111 有大
《数字电子技术基础》第五版 公式（17）的证明（真值表法）： ABC BC A+BC A+B A+C （A+B）(A+C) 000 0 0 0 0 0 001 0 0 0 1 0 010 0 0 1 0 0 011 1 1 1 1 1 100 0 1 1 1 1 101 0 1 1 1 1 110 0 1 1 1 1 111 1 1 1 1 1
《数字电子技术基础》第五版 23.2若千常用公式 序号 式 21 HLEA +AB=A 22 A+AB=A+B 23 AB+AB′=A 24 A(A+ B=A 25 AB+A'C+BC=AB+A'c AB+A C+BCD=AB+A' C 26 A(AB)=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′
《数字电子技术基础》第五版 24逻辑代数的基本定理 ·2.41代入定理 -在任何一个包含A的逻辑等式中,若 以另外一个逻辑式代入式中A的位置,则等 式依然成立。 有大
《数字电子技术基础》第五版 2.4 逻辑代数的基本定理 • 2.4.1 代入定理 ------在任何一个包含A的逻辑等式中，若 以另外一个逻辑式代入式中A的位置，则等 式依然成立