数字电路A+(B⊙C)=(A+B)⊙(A+C)这个怎么证明的

Question

求解

Answer 1

左边＝A＋(B＠C)＝A＋BC＋B’C’
右边＝(A＋B)＠(A＋C)＝(A＋B)(A＋C)＋(A＋B)’(A＋C)’
＝A＋BC＋A‘B’C’
＝A(1＋B’C’)＋A’B’C’＋BC
＝A＋BC＋B’C’
左边＝右边，
故上述等式成立。