数电逻辑函数(A +B)*(A非 +C)*(B +C +D)=(A+B)*(A非+C)求证明等式两边相等

问题描述:

数电逻辑函数(A +B)*(A非 +C)*(B +C +D)=(A+B)*(A非+C)
求证明等式两边相等

①(A+B)(A'+C)(B+C+D)=(AA'+A'B+AC+BC)(B+C+D)=A'B+A'BC+A'BD+ABC+AC+ACD+BC+BCD=A'B(1+C+D)+AC(1+D)+BC(1+D)+ABC=A'B+AC+BC+ABC=A'B+(A+B+AB)C=A'B+BC+AC=②
②(A+B)(A'+C)=AA'+A'B+AC+BC=A'B+AC+BC