ブール論理
CG業界用語でその名も「ブーリアン演算」と呼ばれているものであるが、立体などの図形を集合としてとらえる数学的な手法をそのまま工学的に応用したもので、かつそのまま具体化される点で、直観的にわかりやすい応用のひとつである。
ブール論理(ブールろんり、英: Boolean logic)は、古典論理のひとつで、その名称はブール代数ないしその形式化を示したジョージ・ブールに由来する。
リレーなどによる「スイッチング回路の理論」として1930年代に再発見され(論理回路#歴史を参照)、間もなくコンピュータに不可欠な理論として広まり、今日では一般的に使われている。
本項目では、集合代数を用いて、集合、ブール演算、ベン図、真理値表などの基本的解説とブール論理の応用について解説する。ブール代数の記事ではブール論理の公理を満足する代数的構造の型を説明している。ブール論理はブール代数で形式化され2値の意味論を与えられた命題論理とみることができる。