a⊕(b+c)+1=[a(b+c)+1]+1=a(b+c)+2
a⊕b+a⊕c=ab+1+ac+1=a(b+c)+2
所以有a⊕(b+c)+1=a⊕b+a⊕c=a(b+c)+2,即两者相等.