ブール代数
ブール代数（ブールだいすう、）またはブール束（ブールそく、）とは、ジョージ・ブールが19世紀中頃に考案した代数系の一つである。ブール代数の研究は束の理論が築かれるひとつの契機ともなった。ブール論理の演算はブール代数の一例であり、現実の応用例としては、組み合わせ回路（論理回路）はブール代数の式で表現できる。