(A∩B∩C)∪(A∩~B∩C)∪(~A∩B∩C)=(A∩B∩C)∪(A∩B∩C)∪(A∩~B∩C)∪(~A∩B∩C)=[(A∩B∩C)∪(A∩~B∩C)]∪[(A∩B∩C)∪(~A∩B∩C)]=(A∩C)∪(B∩C)=(A∪B)∩C
这个是分配率啊,是书上的定理,书上应该有证明过程吧