>>667
すみません、(A∩¬C)∪(B∩¬C)=(A∪B)∩¬C
がよく分かりませんorz