非用'表示,如A'
开始证明:
A⊕(A+B)=A'(A+B)+A(A+B)'
=A'B+A(A'B')
=A'B
得证.