在数学和数理逻辑中，逻辑代数（有时也称开关代数、布尔代数）是变量的值仅为真和假两种真值（通常记作 1 和 0）的代数的子领域。初等代数中变量的值是数字，并且主要运算是加法和乘法，而逻辑代数的主要运算有合取与，记为∧；析取或 ，记为∨；否定非 ，记为¬ 。因此，它是以普通代数描述数字关系相同的方式来描述逻辑关系的形式主义。

逻辑代数是乔治·布尔（George Boole）在他的第一本书《逻辑的数学分析》（1847年）中引入的，并在他的《思想规律的研究》（1854年）中更充分的提出了逻辑代数。 根据Huntington“布尔代数”这个术语，最初是由Sheffer于1913年提出。

In mathematics and mathematical logic, Boolean algebra is the branch of algebra in which the values of the variables are the truth values true and false, usually denoted 1 and 0 respectively. Instead of elementary algebra where the values of the variables are numbers, and the main operations are addition and multiplication, the main operations of Boolean algebra are the conjunction and, denoted ∧, the disjunction or, denoted ∨, and the negation not, denoted ¬. It is thus a formalism for describing logical relations in the same way that ordinary algebra describes numeric relations.