初等代数中变量的值是数字，而且主要的运算是加法、乘法和乘方（以及它们的逆运算），而逻辑代数的主要运算有合取"与"，记为∧；析取"或" ，记为∨；否定"非" ，记为¬ 。因此，它是以普通代数描述数字关系相同的方式来描述逻辑关系的形式主义。逻辑代数是乔治·布尔（George Boole）在他的第一本书《逻辑的数学分析》（1847年）中引入的，并在他的《思想规律的研究》（1854年）中更充分的提出了逻辑代数。根据Huntington“布尔代数”这个术语，最初是由Sheffer于1913年提出。逻辑代数一