右边展开(乘法代表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
=左