>>153
一旦A∪B=Xとでも置いて分配、A∩A^C=空集合=B∩B^Cに注意。