布尔代数是一种数学理论，用于描述和分析逻辑和布尔值的关系。它是由英国数学家George Boole在19世纪中期发明的，被认为是现代计算机科学的基础之一。布尔代数的发明使得逻辑运算可以被表示为代数运算，从而为计算机科学的发展奠定了基础。