在数学和数理逻辑中，逻辑代数（有时也称开关代数、布尔代数）是变量的值仅为真和假两种真值（通常记作 1 和 0）的代数的子领域。初等代数中变量的值是数字，并且主要运算是加法和乘法，而逻辑代数的主要运算有合取与，记为∧；析取或 ，记为∨；否定非 ，记为¬ 。因此，它是以普通代数描述数字关系相同的方式来描述逻辑关系的形式主义。 逻辑代数是乔治·布尔（George Boole）在他的第一本书《逻辑的数学分析》（1847年）中引入的，并在他的《思想规律的研究》（1854年）中更充分的提出了逻辑代数。根据Huntington“布尔代数”这个术语，最初是由Sheffer于1913年提出。 逻辑代数一直是数字电路设计的基础，并且所有现代编程语言提供支持。它也用在集合论和统计学中。

逻辑代数的拼音