ベン図

この記事の項目名には以下のような表記揺れがあります。

ベン図
ヴェン図

ベンにゆかりの深いケンブリッジ大学のゴンヴィル・アンド・キーズ・カレッジにはある、ベン図を描いたステンドグラス

ベン図（ベンず、もしくはヴェン図、英: Venn diagram）とは、複数の集合の関係や、集合の範囲を視覚的に図式化したものである。イギリスの数学者ジョン・ベン (John Venn) によって考え出された。

ベン図はレオンハルト・オイラーによるオイラー図の特殊な場合に相当する。

概要

複数の集合を考える際には、各集合をひとつの閉曲線（例えば円）で表し、相関をその閉曲線の交わり方によって表すことができる。

例えば、オイラーは、集合 A が集合 B の部分集合であることを、図1のように表した。

しかし、ベンは同じことを図2のように表した。黒で塗りつぶされた領域は、その領域に元が存在しないことを表す。よって、左の円が表す集合に属する元は全て右の円が表す集合に属する。

ベンの方法では、各々の集合に属するか否かの全ての可能性に対して、領域を対応させる。したがって、n 個の集合のベン図は 2ⁿ 個の領域を持つ。そして、各々の領域について、（現代的な感覚とは逆であるが）元が存在しないことを斜線で表し、元が存在することをばつ印で表す。どちらも記されていない場合は、元が存在するかどうか不明である。

これに対し、オイラーの方法では必ずしも n 個の集合の図で 2ⁿ 個の領域を持つとは限らず、領域が存在しないことは元が存在しないことを意味する。例えば、先の例では A に属して B に属さない元は存在しない。このオイラー流の図も、現代ではしばしばベン図と呼ばれるが、厳密に区別したいときは、オイラー流の図をオイラー図、2ⁿ 個の領域を持つ図をベン図と呼び分ける。

ベンの方法では、黒塗りの領域や斜線の領域は元が存在しないことを意味したが、現代では逆に斜線を引いたり色を付けたりして、その領域に注目することが多い。例えば、図3の赤い部分は左の円を集合 A、右の円を集合 B としたときの、A と B の共通部分 A ∩ B を意味する。

多数の集合のベン図

ベン図は、2つまたは3つの集合のものが典型的であるが、ベンは4つ以上の集合についても考えている。4つの円では平面を16個の領域に分けることは不可能であり、楕円を用いる必要がある。5つ以上の場合は、さらに複雑な図を描かなければならない。

3つの集合のベン図
楕円を用いた4つの集合のベン図
楕円を用いた5つの集合のベン図はBranko Grünbaumが考案した
4つの集合のベン図
5つの集合のベン図
6つの集合のベン図

論理演算とベン図

論理演算をベン図で表すことがある。ベン図は本来は集合についての関係を表すもので、論理演算に対してベン図を用いるのは本来の使い方ではないが、現実には、有限加法族と論理演算がブール代数として等価であることから、論理演算を視覚的にわかりやすく表現する手法としてしばしばベン図が用いられる。

論理演算をベン図で表す場合、円は論理演算の入力値を表す論理変数に対応し、円の内部はその変数の値（真理値）が真（1、もしくはT）であること、円の外部は偽（0、もしくはF）であることを表す。論理演算の出力値を真にする入力値の組に対応する領域に斜線を引いたり色を付けたりすることで、入力値と出力値の関係を表す。例えば、図4は左の円をP、右の円をQとして、PとQの論理積 (AND) P ∧ Q をベン図で表したものである。これは集合 A と集合 B の共通部分 A ∩ B を表すベン図と見かけは同じだが、論理演算 P ∧ Q を表すものとみなす場合、円は集合を意味するものではないことに注意が必要である。

左円:P 右円:Q 赤色:真白色:偽


論理和 (OR)	論理否定 (NOT)	論理積の否定 (NAND)
P ∨ Q	¬P	¬(P ∧ Q)

論理和の否定 (NOR)	$P\leftrightarrow Q$	含意（IMP）
¬(P ∨ Q)	(P ∧ Q) ∨ ¬(P ∨ Q)	(P → Q) ⇔ (¬P ∨ Q)

排他的論理和 (XOR)
(P ∨ Q) ∧ ¬(P ∧ Q)