逻辑代数
代数的一支,变量的值仅为真和假两种 / 维基百科,自由的 encyclopedia
在数学和数理逻辑中,逻辑代数(有时也称开关代数、布尔代数)是代数的一个分支,其变量的值仅为真和假两种真值(通常记作 1 和 0)。初等代数中变量的值是数字,而且主要的运算是加法、乘法和乘方(以及它们的逆运算),而逻辑代数的主要运算符有合取与,记为∧;析取或,记为∨;否定非,记为¬。因此,它是描述逻辑运算的一种形式主义,就像初等代数描述数字运算一样。
逻辑代数是乔治·布尔(George Boole)在他的第一部著作《逻辑的数学分析》(1847年)中引入,并在他的《思想规律的研究》(1854年)中全面阐述了逻辑代数。[1] 根据Huntington的说法,“布尔代数”术语最初是由Sheffer于1913年提出。[2]