ベン図を用いたブール関係の理解

4番目の図は、集合Aが集合Bと部分的に重なっている様子を示します。まず、両集合の和集合を表す全斜線領域を考え、後で積集合を分離します。

左下では、赤の水平斜線がAを、青の垂直斜線がBを表します。

斜線スタイルに関係なく、すべての斜線領域を集約すると、AとBの包含的OR関数に対応する領域になります。ブール式は A + B です。

図では、45°の斜線帯が和集合を表します。この斜線領域の外側は補集合 (A + B)' です。

次に、AとBの積集合を調べます。左側の二重斜線ゾーンが排他的AND関数を表し、AB と表現されます。二重斜線領域の外側は (AB)' です。

Aの一部の要素が (AB)' に属し、同様にBについても当てはまります。しかし、(AB)' のどの要素も二重斜線の AB 領域内にはありません。

2番目の例が左に繰り返され、先にスケッチした5番目の例が右に比較用に示されています。以降のセクションでは、カルノー図を用いて、ある集合に完全に含まれる要素を特定します。

ここで、補数変数を含むブール式を導入します。

例： 式 A'B（A NOT AND B）をベン図で視覚化せよ。

解答： 左上で A' を赤の水平斜線で塗ります。右上で B を青の垂直斜線で塗ります。左下の重なり領域が A'B を表します。多くの学生は右図のように二重斜線領域全体を図示して明確にします。補集合 (A'B)' はこの領域の外側の無塗り部分です。

次に、補数変数を含むOR演算を扱います。

例： B' + A の領域を求めよ。

解答： 右側で B を塗り、補集合 B' を得ます。その上に A を重ねます。斜線スタイルに関わらずすべての斜線領域の和集合が A + B' となります。これは左図で単一斜線領域として示されています。

例： 補集合 (A + B')’ を求めよ。

解答： 左図の白いクリア領域が (A + B')’ に対応します。緑の45°斜線帯は和集合 A + B' を示していました。右図の二重斜線領域 AB' と比較すると、両形状が同一であり、ド・モルガンの定理と二重否定が確認できます。

ベン図は直感的な視覚チェックを提供しますが、形式的証明ではありません。厳密な検証にはブール代数が必要です。それでも、ド・モルガンの定理などの概念説明には貴重です。

例： 式 A' + B' をベン図に描け。

解答： A' を赤の水平斜線、B' を青の垂直斜線で塗ります。結果の図は、少なくとも1つの斜線を含むすべての領域を示し、A' + B' に対応します。無塗りなのは元の円の中央重なり部分のみです。

例： (A' + B')’ を視覚化せよ。

解答： 中央の白いスペースが前図の補集合を表します。これがまさに (A' + B')’ の領域です。

例： (A' + B')’ = AB を検証せよ。

解答： 左下図は (A' + B')’ の開放領域を示します。左と中央の図は二重斜線の積集合 AB を描いています。これらは完全に一致し、ド・モルガンの定理と二重否定により恒等式が確認されます。

最後に、A（赤）、B（青）、C（緑45°）の3変数ベン図を示します。すべてが重なる中央領域は ABC を表します。より大きな花びら形状のゾーンは対ごとの積集合 AB、AC、BC を示します。AND項の変数数が増えると、対応する領域は縮小します：A 単独は大きな円、AB は小さな花びら、ABC は最小領域。

• A（1変数）：大きな円領域。
• AB（2変数）：より小さな花びら形状領域。
• ABC（3変数）：最小領域。
• 変数増加 → AND領域縮小。