ベン図

ベン図

ベン図（ベンず、もしくはヴェン図）とは、ある命題における集合関係と求める集合範囲を視覚的に図式化したもの。
全体の集合をひとつの平方とし、その上に各集合（部分集合）を一つ一つの円として表し、相関関係をその円の交わりによって表す。求める集合範囲は色付け又、斜線によって表記される。イギリスの数学者ジョン・ヴェン (John Venn) によって考え出された。
論理積 (AND)
論理和 (OR)
否定 論理否定 (NOT)
P ∧ Q
P ∨ Q
論理積の否定 (NAND)
論理和の否定 (NOR)
排他的論理和 (XOR)
¬(P ∧ Q)
¬(P ∨ Q)
(P ∨ Q) ∧ ¬(P ∧ Q)
含意 (…ならば～)
部分集合（真部分集合）

『フリー百科事典ウィキペディア日本語版』 2006/07/07/09/06、URL: http://ja.wikipedia.org/