ベン図とは
ベン図（べんず）とは、複数の集合（グループ）の関係性や、それらの重なり具合を円などの図形を使って視覚的に分かりやすく表現した図のことです。イギリスの数学者ジョン・ベンによって考案されました。言葉や数式だけでは理解しにくい複雑な条件の重なり（「Aであり、かつBである」「Aであるが、Bではない」など）を、絵として一目で直感的に把握できるのが最大の特徴です。データベースで複数の条件を組み合わせて検索するときや、プログラミングで複雑なif文の条件分岐を設計する際に、頭の中を整理するための強力なツールとして使われます。
具体例
「スマートフォンを持っている人（集合A）」と「パソコンを持っている人（集合B）」の関係をベン図で表します。
・左側の円（Aだけ）：スマホのみ持っている人
・右側の円（Bだけ）：パソコンのみ持っている人
・中央の重なる部分（AかつB）：両方持っている人
・円の外側（AでもBでもない）：どちらも持っていない人このように配置することで、「両方持っている人はどれくらいいるか」「片方だけの人は誰か」が図の領域を見るだけでひと目で区別できるようになります。
もう少し詳しく
ベン図は、抽象的な論理関係や集合の演算を視覚的に表現するための非常に強力な手法です。通常、全体を四角形の枠（全体集合）で囲み、その中に円や楕円を描いて個々の集合を表します。システム開発の現場でも、顧客の要件を整理したり、複雑なデータ抽出条件を定義したりする際に、エンジニアと非エンジニア（顧客や営業担当者など）が認識を合わせるためのコミュニケーションツールとしてベン図が頻繁に活用されます。言葉で「Aという条件を満たし、かつBまたはCのどちらかを満たすが、Dは満たさないデータ」と説明されてもピンときませんが、これを3つや4つの円が重なったベン図で塗りつぶして示せば、誰もが直感的に抽出対象のデータを理解できます。
さらに、論理回路設計においてもベン図は有用です。複数の入力信号に対して、特定の出力を行う論理式を検討する際、カルノー図と呼ばれる表を用いるのが一般的ですが、その根本的な考え方はベン図と共通しています。論理和（OR）、論理積（AND）、論理否定（NOT）といった論理演算の組み合わせが、結果として全体集合の中のどの領域をカバーしているのかを把握することで、不要な条件式の重複に気づき、よりシンプルでバグの少ない条件式へとプログラムを洗練させることができます。
試験でのポイント
試験においてベン図は、単独の用語として意味を問われることは少なく、論理式や集合演算の問題を解くための「図解」として出題されます。典型的な問題パターンは、複雑な論理式や集合の演算式が提示され、「その式が表す領域を塗りつぶしたベン図はどれか」を選択させるもの、あるいはその逆で、塗りつぶされたベン図が提示され、「これに該当する論理式（または集合式）はどれか」を選択させるものです。
この手の問題を素早く正確に解くコツは、式を小さなパーツに分解して、一つひとつの領域を順番に確認していくことです。例えば、「A AND (NOT B)」という式であれば、まず「Aの円の中」をイメージし、そこから「Bの円と重なっている部分」を削り取る、という手順で考えます。また、ド・モルガンの法則と絡めた出題も多く、「(NOT A) OR (NOT B)」のような一見分かりにくい式が出た場合は、「NOT (A AND B)」すなわち「AとBの重なり部分以外すべて」と法則を使って式を変換してからベン図を探すと、劇的に解きやすくなります。試験本番では、問題用紙の余白に自分で簡単なベン図を描いて斜線を引いてみるのが、ケアレスミスを防ぐ最も確実な方法です。
関連する用語
集合、論理式、ド・モルガンの法則