喬治·布爾發(fā)明了一套符號(hào)用來進(jìn)行邏輯演算，創(chuàng)造了邏輯代數(shù)系統(tǒng)，完成了邏輯的數(shù)學(xué)化。布爾稱他的工作為“思維的定律”，理由是命題代數(shù)和思維過程的原則緊密相聯(lián)。本書介紹了布爾代數(shù)、廣義布爾代數(shù)、布爾方程、布爾矩陣、布爾表示等概念，還列舉了布爾代數(shù)在邏輯線路、極大極小值等問題中的應(yīng)用。