一種數學分支
布爾代數是一種數學分支，由英國數學家喬治·布爾在19世紀提出，主要用於描述和分析邏輯判斷和推理的過程。
布爾代數是一種代數系統，由邏輯變量、邏輯常數和邏輯運算符三個基本元素組成。邏輯變量僅取兩個值，通常表示爲真(True)和假(False)；邏輯常數是已經確定爲真或假的邏輯表達式；邏輯運算符用於對邏輯變量和邏輯表達式進行操作，生成新的邏輯結果。布爾代數通過邏輯運算符描述和分析邏輯關係，不涉及數值運算，並提供了一套完整的邏輯規則和定律，用於推導和簡化邏輯表達式。布爾代數也與集合運算有關，可以獲取不同集合之間的交集、並集或補集，進行邏輯運算可以對不同集合進行與、或、非的運算。
此外，布爾代數在代數學（代數結構）、邏輯演算、集合論、拓撲空間理論、測度論、概率論、泛函分析等數學分支中均有應用，也在自動化技術、電子計算機的邏輯設計等工程技術領域中有重要的應用。