Y1 = ABC +(A+B+C)(AB+AC+BC)'
先化简:X1 = (AB+AC+BC)'= (AB)'(AC)'(BC)'= (A'+B')(A'+C')(B'+C') = (A'+A'C'+A'B'+B'C')(B'+C')
= (A'+B'C')(B'+C') = A'B'+ A'C'+ B'C'
Y1 = ABC + (A+B+C)X1 = ABC + (A+B+C)(A'B'+A'C'+B'C') //: 乘积展开后含 AA',BB',CC'项全为0!
= ABC + AB'C'+ A'BC'+ A'B'C 证毕!