布尔逻辑布尔逻辑得名于 George Boole，他是考克大学（现爱尔兰国立考克大学）的英国数学家，他在十九世纪中叶首次定义了逻辑的代数系统。现在，布尔逻辑在电子学、计算机硬件和软件中有很多应用。

在 1937 年，Claude Shannon 展示了布尔逻辑如何在电子学中使用。

逻辑-集合代数和文氏图使用集合代数作为介绍布尔逻辑的一种方式。还使用文氏图来展示各种布尔逻辑陈述所描述的集合联系。设 X 是一个集合：元素是一个集合的成员。表示为 <math>in</math>。

如果它不是这个集合的元素，表示为 <math>notin</math>。全集是集合 X，有时表示为 1。注意使用全集这个词意味着"虑及的所有元素"，同"现有的所有元素"一样不是必然的。

空集或 null 集合是没有元素的集合，表示为 <math>varnothing</math>，有时表示为 0。一元算符应用于一个单一的集合。有一个一元算符叫做逻辑非(NOT)。

它的作用是采用补集。二元算符应用于两个集合。基本的二元算符是逻辑或(OR)和逻辑与(AND)。

它们进行集合的交集和并集。还有其他衍生的二元算符，比如逻辑异或(XOR)(排他的或)。子集表示为 A <math>subseteq</math> B，意味这在集合 A 中所有元素都在集合 B 中。真子集表示为 A <math>subset</math> B，意味着在集合 A 中的所有元素都在集合 B 中，并且两个集合不等同。

超集表示为 A <math>supseteq</math> B，意味着在集合 B 中的所有元素都在集合 A 中。真超集 表示为 A <math>supset</math> B，意味着在集合 B 中的所有元素都在集合 A 中，并且两个集合不等同。例子设图像为集合 A 包含"全集"中所有偶数(二的倍数)，集合 B 包含"全集"中所有三的倍数。则两个集合的交集(在集合 A AND B 中所有的元素)将是"全集"中所有六的倍数。

集合 A 的补集(所有不在集合 A 中的元素)是"全集"中所有的奇数。把运算连接起来尽管在任何布尔运算中都最多有两个集合参与，从这个运算所形成的新集合可以接着与其他集合联合起来实现另外的布尔运算。使用前面的例子，我们可以定义一个新集合 C 作为"全集"中所有五的倍数的集合。所以 "集合 A AND B AND C" 将是"全集"中所有 30 的倍数。

如果为了更方便，我们可以把集合 AB 当作集合 A 和 B 的交集，或者说"全集"中所有六的倍数的集合。那么我们可以称 "集合 AB AND C" 是"全集"中所有 30 的倍数的集合。我们接着进一步的把这个结果叫做集合 ABC。

使用圆括号尽管任何数目的逻辑 AND(或任何数目的逻辑 OR)可以被连接在一起而没有歧义，AND 和 OR 和 NOT 的组合可以导致歧义的情况。在这种情况情况下，可以使用圆括号来分清运算的次序。永远是最内的括号内的运算先进行，随后是外层的括号以此类推，直到在所有的括号内运算都完成。

接着进行括号外的运算。性质为两个主要的二元运算的符号定义为 <math>land / cap</math> (逻辑与/交集)和 <math>lor / cup</math> (逻辑或/并集)，把单一的一元运算的符号定义为 <math>lnot</math> / ~ (逻辑非/补集)。我们还使用值 0 (逻辑假/空集)和 1 (逻辑真/全集)。下列性质适用于布尔代数和布尔逻辑二者：<math>a lor (b lor c) = (a lor b) lor c </math> <math>a land (b land c) = (a land b) land c </math> 结合律<math>a lor b = b lor a </math> <math>a land b = b land a </math> 交换律<math>a lor (a land b) = a </math> <math>a land (a lor b) = a </math> 吸收律<math>a lor (b land c) = (a lor b) land (a lor c) </math> <math>a land (b lor c) = (a land b) lor (a land c) </math> 分配律<math>a lor lnot a = 1 </math> <math>a land lnot a = 0 </math> 互补律<math>a lor a = a</math> <math>a land a = a </math> 等幂律<math>a lor 0 = a </math> <math>a land 1 = a </math> 有界律<math>a lor 1 = 1 </math> <math>a land 0 = 0 </math><math>lnot 0 = 1 </math> <math>lnot 1 = 0 </math> 0 和 1 是互补的<math>lnot (a lor b) = lnot a land lnot b</math> <math>lnot (a land b) = lnot a lor lnot b</math> de Morgan 定律<math> lnot lnot a = a </math> 卷绕律(involution真值表布尔逻辑只使用两个值 0 和 1，这两个值的交集和并集可以使用真值表定义如下：<math>cap</math> 0 10 0 01．0 1<math>cup</math> 0 10 0 11．1 1也可以建立涉及多个输入和其他布尔运算的更复杂的真值表。

真值表应用在逻辑中，解释 0 为假，1 为真，<math>cap</math> 为与，<math>cup</math> 为或，而 &not; 为非。其他记号可以使用各种样式的基本算符来表达布尔逻辑。AND(与)、OR(或)、NOT(非)是最直觉的。

数学家、工程师和程序员经常使用 + 表示或，<math>cdot</math> 表示与(因为在某些方面这些运算类似于在其他代数结构中的加法和乘法，并且这种记号使熟悉普通代数的人易于得到积之和范式)。非也表示为在要否定的表达式顶上的一个横线。另一种记号使用"交"表示与使用"并"表示或。但是这会导致混淆，因为术语"并"也经常用于合并集合的另一个布尔运算，它包括了与和或二者。

布尔术语的基本数学使用在联立方程的情况下，它们是用暗含的逻辑与连接的：x + y = 2ANDx - y = 2同样适用于联立不等式：x + y < 2ANDx - y < 2大于等于号(<math>ge</math>)和小于等于号(<math>le</math>)可以假定包含了一个逻辑或：X < 2ORX = 2加/减号(<math>pm</math>)，在平方根的解的情况下，可以被看作是逻辑或：WIDTH = 3ORWIDTH = -3在计算机中布尔逻辑定义若干布尔逻辑函数，有时候称为操作符。每个函数根据一个或者更多的输入，用一个逻辑算法来计算输出值。该算法根据输入所取真和假的组合来决定什么时候输出真（0真1假；1真0假。