1847年）中引入的，并在他的《思想规律的研究》（1854年）中更充分的提出了逻辑代数。根据Huntington“布尔代数”这个术语，最初是由Sheffer于1913年提出。逻辑代数一直是数字电路设计的基础，并且所有现代编程语言提供支持。它也用在集合论和统计学中。 
逻辑代数中的几个概念.参与逻辑运算的变量叫逻辑变量，用字母A，B……表示。每个变量的取值非0 即1。 0、1不表示数的大小，而是代表两种不同的逻辑状态。正、负逻辑规定：逻辑函数：如果有若干个逻辑变量（如A