证明(AUB)∩(BUC)∩(AUC)=(A∩B)U(A'∩B∩C)U(A∩B'∩C),

问题描述:

证明(AUB)∩(BUC)∩(AUC)=(A∩B)U(A'∩B∩C)U(A∩B'∩C),
证明(AUB)∩(BUC)∩(AUC)=(A∩B)U(A'∩B∩C)U(A∩B'∩C),

右边展开(乘法代表U,加法代表∩)
右=
=ab+abb'+abc+ac+ab'c+ac+a'ba+a'bb'+a'bc+ab+bb'+bc+abc+bcb'+bc
=ab+abc+c+ab'c+a'bc+bc+abc
=ab+ac+bc+ac(b+b')+bc(a+a')
=ab+ac+bc
=左