最終更新日:2026年7月30日
fe fe-technology basic-theory set-theory
まず結論
ベン図の問題は、網掛け部分を小さな領域に分けて、各領域について「どの集合に入るか・入らないか」を確認すると解きやすくなります。
基本情報技術者試験では、次の対応を判断軸にします。
| 図の意味 | 集合演算 |
|---|---|
| AまたはBに入る | 和集合 A ∪ B |
| AとBの両方に入る | 積集合 A ∩ B |
| Aに入らない | 補集合 Ā |
| 離れた複数の領域を合わせる | 和集合 ∪ |
試験直前には、次の一文を覚えておくと便利です。
同じ領域の条件は積集合、離れた領域を合わせるときは和集合。
直感的な説明
ベン図は、「条件に当てはまるものを、円の中へ分けて置いた図」です。
例えば、次の3集合を考えます。
A:Pythonを使う人
B:データ分析をする人
C:機械学習を学ぶ人
このとき、AとBの両方に入る人は、二つの円が重なった部分です。
Aにも入る
かつ
Bにも入る
→ A ∩ B
一方、AまたはBのどちらかに入る人は、AとBの円全体を合わせた部分です。
Aに入る
または
Bに入る
→ A ∪ B
Aに入らない人は、Aの円の外側です。
Aに入らない
→ Ā
網掛けが複数の離れた場所にある場合は、それぞれを別々の式にしてから、最後に ∪ で結びます。
定義・仕組み
和集合
和集合は、どちらか一方、または両方に入る要素の集合です。
A ∪ B
= AまたはBに入る
論理演算では、ORに近い考え方です。
積集合
積集合は、両方に入る要素の集合です。
A ∩ B
= AとBの両方に入る
論理演算では、ANDに近い考え方です。
補集合
補集合は、対象の集合に入らない要素の集合です。
Ā
= Aに入らない
論理演算では、NOTに近い考え方です。
3集合の小領域
A・B・Cの3集合では、重なり部分を次のように読むと整理しやすくなります。
| 条件 | 式 |
|---|---|
| A・B・Cすべてに入る | A ∩ B ∩ C |
| AとBに入り、Cには入らない | A ∩ B ∩ C̄ |
| BとCに入り、Aには入らない | Ā ∩ B ∩ C |
| Aだけに入る | A ∩ B̄ ∩ C̄ |
式は、各集合について「入るならそのまま、入らないなら補集合」にします。
Aに入る → A
Aに入らない → Ā
Bに入る → B
Bに入らない → B̄
Cに入る → C
Cに入らない → C̄
ド・モルガンの法則
補集合が式全体に掛かるときは、ド・モルガンの法則が使えます。
(A ∪ B)̄ = Ā ∩ B̄
(A ∩ B)̄ = Ā ∪ B̄
覚え方は、補集合を中へ入れると、∪と∩が入れ替わるです。
このテーマは、基本情報技術者試験の「基礎理論」と関係する内容です。公式の出題範囲やシラバスは、IPA:基本情報技術者試験から確認できます。
科目Aでどう出る?
科目Aでは、網掛け部分に対応する集合式を選ぶ問題が出ます。
次の手順で考えると安全です。
1. 網掛けが何か所あるか確認する
2. 各領域についてA・B・Cへの所属を確認する
3. 同じ領域の条件を∩で結ぶ
4. 離れた領域同士を∪で結ぶ
例えば、網掛けが次の2領域だったとします。
領域1:Aに入る、Bに入る、Cには入らない
領域2:Aには入らない、Bに入る、Cに入る
それぞれを式にすると、
領域1 → A ∩ B ∩ C̄
領域2 → Ā ∩ B ∩ C
離れた2領域を合わせるため、
(A ∩ B ∩ C̄) ∪ (Ā ∩ B ∩ C)
となります。
入る・入らない表を作る
図が複雑なときは、次のような表を作るとミスを減らせます。
| 領域 | A | B | C |
|---|---|---|---|
| 領域1 | 入る | 入る | 入らない |
| 領域2 | 入らない | 入る | 入る |
表をそのまま式へ変換します。
入る → 集合名
入らない → 補集合
同時に満たす → ∩
別の領域を合わせる → ∪
中央部分を含むか確認する
AとBの重なりが塗られていても、中央の A ∩ B ∩ C が白い場合があります。
その場合、単純な A ∩ B では広すぎます。
AとBに入る
ただしCには入らない
→ A ∩ B ∩ C̄
どんな場面で使う?
集合演算は、条件を組み合わせる場面で使います。
例えば、データベース検索では次のように対応します。
東京都在住 AND 20代
→ 共通する条件
→ 積集合
東京都在住 OR 大阪府在住
→ どちらかの条件
→ 和集合
会員ではない
→ 条件の否定
→ 補集合
プログラムの条件式や論理回路でも、同じ考え方が使われます。
| 集合演算 | 論理演算 |
|---|---|
∩ |
AND |
∪ |
OR |
| 補集合 | NOT |
図だけの問題に見えても、論理演算や検索条件の基礎につながっています。
よくある誤解・混同
誤解1:重なっている部分はすべて積集合で表せる
積集合だけでは、中央部分を除きたい場合に対応できません。
AとBの重なり全部
→ A ∩ B
AとBに入り、Cには入らない
→ A ∩ B ∩ C̄
誤解2:網掛けが2か所でも一つの積集合で表そうとする
離れた複数の領域は、各領域を別々に表して、最後に和集合で結びます。
領域1 または 領域2
→ 領域1 ∪ 領域2
誤解3:補集合の横線の範囲を見ない
次の式は意味が異なります。
Ā ∩ B
(A ∩ B)̄
上は「Aに入らず、Bに入る」です。
下は「AとBの両方に入る部分以外」です。
試験では、横線がどこからどこまで掛かっているかを確認します。
誤解4:和集合はどちらか一方だけだと思う
和集合 A ∪ B は、Aだけ、Bだけ、AとBの両方を含みます。
「片方だけ」を表したい場合は、重なり部分を除く必要があります。
誤解5:図を見たまま選択肢だけで判断する
選択肢ごとに図を描き直す方法もありますが、時間がかかります。
先に網掛けを小領域へ分け、入る・入らないを表にする方が安定します。
まとめ(試験直前用)
∪は和集合で「または」∩は積集合で「かつ」- 補集合は「その集合に入らない」
- 同じ領域の条件は
∩で結ぶ - 離れた複数領域は、それぞれを式にして
∪で結ぶ - 中央の3集合共通部分を含むか確認する
- 補集合の横線がどこまで掛かるか確認する
- ド・モルガンの法則では、補集合を中へ入れると
∪と∩が入れ替わる