B⊕C=(B∪C)\(B∩C),∴A∩(B⊕C)=A∩[(B∪C)\(B∩C)](A∩B)⊕(A∩C)=[(A∩B)∪(A∩C)]\[(A∩B)∩(A∩C)]=A∩(B∪C)\(A∩B∩C)=A∩[(B∪C)\(B∩C)],∴命题成立。
