邏輯代數
代数的一支,变量的值仅为真和假两种 / 維基百科,自由的 encyclopedia
在數學和數理邏輯中,邏輯代數(有時也稱開關代數、布爾代數)是代數的一個分支,其變量的值僅為真和假兩種真值(通常記作 1 和 0)。初等代數中變量的值是數字,而且主要的運算是加法、乘法和乘方(以及它們的逆運算),而邏輯代數的主要運算符有合取與,記為∧;析取或,記為∨;否定非,記為¬。因此,它是描述邏輯運算的一種形式主義,就像初等代數描述數字運算一樣。
邏輯代數是喬治·布爾(George Boole)在他的第一部著作《邏輯的數學分析》(1847年)中引入,並在他的《思想規律的研究》(1854年)中全面闡述了邏輯代數。[1] 根據Huntington的說法,「布爾代數」術語最初是由Sheffer於1913年提出。[2]