ブール論理 （ブールろんり、英 : Boolean logic ）は、古典論理 のひとつで、その名称はブール代数 ないしその形式化を示したジョージ・ブール に由来する。
リレーなどによる「スイッチング回路の理論」として1930年代に再発見され（論理回路#歴史 を参照）、間もなくコンピュータに不可欠な理論として広まり、今日では一般的に使われている。
本項目では、集合代数 を用いて、集合 、ブール演算、ベン図 、真理値表 などの基本的解説とブール論理の応用について解説する。ブール代数 の記事ではブール論理の公理を満足する代数的構造 の型を説明している。ブール論理はブール代数で形式化され2値の意味論を与えられた命題論理 とみることができる。
共通部分 A AND B（紫の部分）、和集合 A OR B（色が付いている部分全体）、A XOR B（紫以外の色が付いている部分）。四角い外枠は「普遍集合; universe」 X を集合としたとき:
元 （element; 要素 ）とは、集合のメンバーを意味する。これを
∈ ∈ -->
{\displaystyle \in }
∉ ∉ -->
{\displaystyle \notin }
普遍集合 （universe; 全集合 ）とは、集合 X であり、1 で表される場合がある。ここで universe（通常の意味は宇宙）という言葉が使われるのは「全ての元を考慮している」ことを意味しており、必ずしも「全ての元が存在する」必要があるわけではない。空集合 （empty set, null set）とは、元を持たない集合であり、
∅ ∅ -->
{\displaystyle \varnothing }
単項演算子 （unary operator）は1つの集合に適用される。単項演算子としては論理否定 （NOT 補集合 をとる働きがある。二項演算子 （binary operator）は2つの集合に適用される。基本的な演算子には論理和 （OR 積 （AND 和集合 と共通部分 をとる。これらから導出される二項演算子として XOR （排他的OR）などもある。部分集合 （subset）は
A
⊆ ⊆ -->
B
{\displaystyle A\subseteq B}
真部分集合 （proper subset）は
A
⊂ ⊂ -->
B
{\displaystyle A\subset B}
上位集合 （superset）は
A
⊇ ⊇ -->
B
{\displaystyle A\supseteq B}
真上位集合 （proper superset）は
A
⊃ ⊃ -->
B
{\displaystyle A\supset B}
30までの自然数を普遍集合とし、2の倍数の集合、3の倍数の集合、5の倍数の集合の関係を表した図 集合 A には普遍集合の中の全ての偶数（2の倍数）が含まれ、集合 B には同じ普遍集合の中の全ての 3 の倍数が含まれるとする。そのとき、これらの集合の共通部分 （A AND B の集合の全ての元）は、その普遍集合の中の全ての6の倍数が含まれる。
集合 A の補集合（NOT A に含まれる全ての元）は、その普遍集合の全ての奇数となる。
たかだか2つの集合に対してブール演算を行い、その演算によって形成された新たな集合と別の集合に対して新たなブール演算を適用することができる。上の例で言えば、普遍集合の全ての 5 の倍数を含む集合 C を新たに定義する。ここで「集合 A AND B AND C」は、その普遍集合の全ての30の倍数を含む。記述を単純化するため、集合 A と B の共通部分を AB と記したり、6の倍数の集合を導入したりする。そうすると「集合 AB AND C」は、同様に全ての30の倍数を含む。このようなステップをさらに進めていくこともでき、この演算の結果として集合 ABC を定義することもできる。
任意個の論理積(AND)の連鎖には曖昧さは全くないが、AND と OR と NOT が組み合わされると曖昧な場合が出てくる。そのような場合に演算の順序を明確化するために括弧を使うこともある。通常、最も内側の括弧内の演算が最初に実行され、順次外側に移っていく。
2つの二項演算子の記号を
∧ ∧ -->
/
∩ ∩ -->
{\displaystyle \land /\cap }
∨ ∨ -->
/
∪ ∪ -->
{\displaystyle \lor /\cup }
¬ ¬ -->
{\displaystyle \lnot }
a
∨ ∨ -->
(
b
∨ ∨ -->
c
)
=
(
a
∨ ∨ -->
b
)
∨ ∨ -->
c
{\displaystyle a\lor (b\lor c)=(a\lor b)\lor c}
a
∧ ∧ -->
(
b
∧ ∧ -->
c
)
=
(
a
∧ ∧ -->
b
)
∧ ∧ -->
c
{\displaystyle a\land (b\land c)=(a\land b)\land c}
結合法則
a
∨ ∨ -->
b
=
b
∨ ∨ -->
a
{\displaystyle a\lor b=b\lor a}
a
∧ ∧ -->
b
=
b
∧ ∧ -->
a
{\displaystyle a\land b=b\land a}
交換法則
a
∨ ∨ -->
(
a
∧ ∧ -->
b
)
=
a
{\displaystyle a\lor (a\land b)=a}
a
∧ ∧ -->
(
a
∨ ∨ -->
b
)
=
a
{\displaystyle a\land (a\lor b)=a}
吸収法則
a
∨ ∨ -->
(
b
∧ ∧ -->
c
)
=
(
a
∨ ∨ -->
b
)
∧ ∧ -->
(
a
∨ ∨ -->
c
)
{\displaystyle a\lor (b\land c)=(a\lor b)\land (a\lor c)}
a
∧ ∧ -->
(
b
∨ ∨ -->
c
)
=
(
a
∧ ∧ -->
b
)
∨ ∨ -->
(
a
∧ ∧ -->
c
)
{\displaystyle a\land (b\lor c)=(a\land b)\lor (a\land c)}
分配法則
a
∨ ∨ -->
¬ ¬ -->
a
=
1
{\displaystyle a\lor \lnot a=1}
a
∧ ∧ -->
¬ ¬ -->
a
=
0
{\displaystyle a\land \lnot a=0}
可補束
a
∨ ∨ -->
a
=
a
{\displaystyle a\lor a=a}
a
∧ ∧ -->
a
=
a
{\displaystyle a\land a=a}
等冪性
a
∨ ∨ -->
0
=
a
{\displaystyle a\lor 0=a}
a
∧ ∧ -->
1
=
a
{\displaystyle a\land 1=a}
有界性
a
∨ ∨ -->
1
=
1
{\displaystyle a\lor 1=1}
a
∧ ∧ -->
0
=
0
{\displaystyle a\land 0=0}
¬ ¬ -->
0
=
1
{\displaystyle \lnot 0=1}
¬ ¬ -->
1
=
0
{\displaystyle \lnot 1=0}
0 と 1 は相補的
¬ ¬ -->
(
a
∨ ∨ -->
b
)
=
¬ ¬ -->
a
∧ ∧ -->
¬ ¬ -->
b
{\displaystyle \lnot (a\lor b)=\lnot a\land \lnot b}
¬ ¬ -->
(
a
∧ ∧ -->
b
)
=
¬ ¬ -->
a
∨ ∨ -->
¬ ¬ -->
b
{\displaystyle \lnot (a\land b)=\lnot a\lor \lnot b}
ド・モルガンの法則
¬ ¬ -->
¬ ¬ -->
a
=
a
{\displaystyle \lnot \lnot a=a}
対合
最初の3つの法則が束 を定義し、最初の5つの法則がブール代数 を定義する。
0 と 1 という2つの値のみを使ったブール論理で、それらの値の共通部分と和集合を真理値表 で定義すると次のようになる:
∩ ∩ -->
{\displaystyle \cap }
0
1
0
0
0
1
0
1
∪ ∪ -->
{\displaystyle \cup }
0
1
0
0
1
1
1
1
複数の入力や他のブール演算を使った、もっと複雑な真理値表も作成できる。
真理値表は論理学 にも応用でき、0 を偽、1 を真、
∩ ∩ -->
{\displaystyle \cap }
∪ ∪ -->
{\displaystyle \cup }
ブール論理の表記に使われる記号は、目的や学術分野、あるいは文化圏などによってさまざまである。まず、英単語にもとづく AND、OR、NOT といった一群がある。数学者 や技術者 は OR の代わりに +、AND の代わりに
⋅ ⋅ -->
{\displaystyle \cdot }
代数的構造 での加算や乗算と性質が似ており、通常の代数に詳しい者にとっては選言標準形 を理解しやすいため）。NOT は式の上に線を引いて表すこともある。
プログラマ は、AND を表現するのに & （アンパサンド ）、OR を表すのに | （パイプ記号）を使うことが多い。これらの記号はプログラミング言語 でビット演算 の演算子として使われていることが多い。NOT は ! （感嘆符 ）で表されることが多く、!= などの派生もある。
（ブール論理に限った話ではないが）論理式をそのまま自然言語にすると、しばしば、同じ言葉の日常での意味と異なっていたり、曖昧だったりすることがあるため注意が必要である。
日本語の場合の例をいくつか挙げる。自然言語の「朝食にはパンか御飯を食べることができる」の「パンか御飯」は、そのまま解釈すればORだが、普通は排他的論理和 すなわち「パンか御飯のどちらかを選ぶことができる」の意味であることが多い。曖昧な例としては「全ての輝くものが金ではない」という文は「輝くものは全て金ではない」（全否定）とも「輝くものには金でないものもある」（部分否定）とも解釈できる。
CG業界用語でその名も「ブーリアン演算 」と呼ばれているものであるが、立体などの図形を集合としてとらえる数学的な手法をそのまま工学的に応用したもので、かつそのまま具体化される点で、直観的にわかりやすい応用のひとつである。
ブール論理は論理回路 の設計にも使われる。その場合、0 と 1 はディジタル回路 でのビット の異なる2つの状態を表し、電圧 の高低に対応させることが、現代では多い（必ずしもそうしなければならないわけではない）。回路は変数を含む式で表され、変数が回路の入力、式を評価した結果が回路の出力に相当する。入力と出力の対応が完全に与えられれば、それをブール論理の式で表現することができる。
ANDゲート 、ORゲート、NOTゲートのような基本論理回路 だけを使うこともできるが、NANDゲート 、NOR ゲート、XOR ゲートなども組み合わせてディジタル回路を構成することができる。組み合わせ方は、演算子の優先順位 に従って直列や並列 に結合する。
データベース管理システム 等によるデータベースの操作は、各データベースを集合、クエリ結果などを部分集合、データベースに含まれる個々のデータを集合の要素とみなすと、ある種、集合の操作のようなものとみなすことができる。特に関係データベース は、データベースの操作が集合代数にもとづき整理・定義されているデータベースである（関係代数 (関係モデル) ）。以下では、関係データベースの代表的なクエリ言語であるSQLの具体例を示す。
SELECT 文の例を示す。
SELECT * FROM EMPLOYEES WHERE LAST_NAME = 'Smith' AND FIRST_NAME = 'John' ;
SELECT * FROM EMPLOYEES WHERE LAST_NAME = 'Smith' OR FIRST_NAME = 'John' ;
SELECT * FROM EMPLOYEES WHERE NOT LAST_NAME = 'Smith' ; 複数のブール演算がある場合、括弧を使って演算の順序を制御することもある:
SELECT * FROM EMPLOYEES WHERE (NOT LAST_NAME = 'Smith') AND (FIRST_NAME = 'John' OR FIRST_NAME = 'Mary') ; 必要に応じて括弧をいくつも入れ子にすることも可能である。複数の表をブール演算で組み合わせることを結合 と呼ぶ。
検索エンジン に代表される、検索を行なうネットサービスでも、ブール演算にもとづく検索式が使えるものがある。例として、Google 検索のものを示す。
論理積には記号を使用しない。従って、キーワードを2つ並べた場合、論理積と解釈される。
"キーワード1" "キーワード2"
論理和には "OR" を使用する。
"キーワード1" OR "キーワード2"
マイナス記号で論理否定を表す（実際にはAND NOT）。
"キーワード1" -"キーワード2" カッコは使えない。
（Google Scholar では "OR" を使うと排他的論理和(XOR)の操作が行われる）[要出典
![[icon]](%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:Wiki_letter_w_cropped.svg){kind=small}