任意の集合 A,B について (A∩B)^c と等しい式はどれか。

集合論においてド・モルガンの法則は論理演算子と同じ形で成り立つ．共通部分の補集合 (A∩B)^c は それぞれの補集合の和集合 A^c ∪ B^c と一致する．ベン図で考えれば，AとBの両方に属する領域を除いた領域は，Aに属さない部分とBに属さない部分の全体になることがわかる．他の選択肢1や2は補集合が一部しか取られておらず，不足分が生じるため等式が成り立たない．したがって正しい変形は選択肢4である。