又稱“布爾代數”、“開關代數”。研究邏輯問題的一門數學。是現代數學中的一個重要分支。由英國數學家布爾提出。其邏輯變量的取值僅為“0”和“1”。基本邏輯運算有“與”、“或”、“非”等。是設計計算機的有力工具。