ブール代数

ブール代数 またはブール束 とは、命題論理における二値的な論理演算、集合論における和集合・共通部分・補集合の演算、ならびにデジタル回路における論理ゲートの計算に共通する代数的構造である。束論の立場からは、ブール代数は可補分配束として特徴づけられる。ブール代数は代数論理、束論、位相空間論、集合論、計算機科学などにまたがる基礎理論であり、ストーンの表現定理やストーン双対性を通じて位相空間との深い関係をもつ。ブール論理の演算はブール代数の基本例であり、現実の応用例としては、組み合わせ回路（論理回路）はブール代数の式で表現できる。