布尔逻辑

使用方式

设 X 是一个集合：

元素是一个集合的成员。表示为 $\backslash in$。如果它不是这个集合的元素，表示为 $\backslash notin$。

全集是集合 X，有时表示为 1。注意使用全集这个词意味着虑及的所有元素，同现有的所有元素一样不是必然的。

空集或 null 集合是没有元素的集合，表示为 $\backslash varnothing$，有时表示为 0。

一元算符套用于一个单一的集合。有一个一元算符叫做逻辑非(NOT)。它的作用是採用补集。

二元算符套用于两个集合。基本的二元算符是逻辑或(OR)和逻辑与(AND)。它们进行集合的并集和交集。还有其他衍生的二元算符，比如逻辑异或(XOR)(排他的或)。

子集表示为 A $\backslash subseteq$ B，意味这在集合 A 中所有元素都在集合 B 中。

真子集表示为 A $\backslash subset$ B，意味着在集合 A 中的所有元素都在集合 B 中，并且两个集合不等同。

超集表示为 A $\backslash supseteq$ B，意味着在集合 B 中的所有元素都在集合 A 中。

真超集 表示为 A $\backslash supset$ 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。

使用圆括弧

性质

为两个主要的二元运算的符号定义为 $\backslash land\; /\; \backslash cap$ (逻辑与/交集)和 $\backslash lor\; /\; \backslash cup$ (逻辑或/并集)，把单一的一元运算的符号定义为 $\backslash lnot$ / ~ (逻辑非/补集)。我们还使用值 0 (逻辑假/空集)和 1 (逻辑真/全集)。下列性质适用于布尔代数和布尔逻辑二者：

$a\; \backslash lor\; (b\; \backslash lor\; c)\; =\; (a\; \backslash lor\; b)\; \backslash lor\; c$ $a\; \backslash land\; (b\; \backslash land\; c)\; =\; (a\; \backslash land\; b)\; \backslash land\; c$ 结合律

$a\; \backslash lor\; b\; =\; b\; \backslash lor\; a$ $a\; \backslash land\; b\; =\; b\; \backslash land\; a$ 交换律

$a\; \backslash lor\; (a\; \backslash land\; b)\; =\; a$ $a\; \backslash land\; (a\; \backslash lor\; b)\; =\; a$ 吸收律

$a\; \backslash lor\; (b\; \backslash land\; c)\; =\; (a\; \backslash lor\; b)\; \backslash land\; (a\; \backslash lor\; c)$ $a\; \backslash land\; (b\; \backslash lor\; c)\; =\; (a\; \backslash land\; b)\; \backslash lor\; (a\; \backslash land\; c)$ 分配律

$a\; \backslash lor\; \backslash lnot\; a\; =\; 1$ $a\; \backslash land\; \backslash lnot\; a\; =\; 0$ 互补律

$a\; \backslash lor\; a\; =\; a$ $a\; \backslash land\; a\; =\; a$ 等幂律

$a\; \backslash lor\; 0\; =\; a$ $a\; \backslash land\; 1\; =\; a$ 有界律

$a\; \backslash lor\; 1\; =\; 1$ $a\; \backslash land\; 0\; =\; 0$

$\backslash lnot\; 0\; =\; 1$ $\backslash lnot\; 1\; =\; 0$ 0 和 1 是互补的

$\backslash lnot\; (a\; \backslash lor\; b)\; =\; \backslash lnot\; a\; \backslash land\; \backslash lnot\; b$ $\backslash lnot\; (a\; \backslash land\; b)\; =\; \backslash lnot\; a\; \backslash lor\; \backslash lnot\; b$ de Morgan 定律

$\backslash lnot\; \backslash lnot\; a\; =\; a$ 卷绕律(involution

真值表

布尔逻辑只使用两个值 0 和 1，这两个值的交集和并集可以使用真值表定义如下：

$\backslash cap$ 0 1

0 0 0

1．0 1

$\backslash cup$ 0 1

0 0 1

1．1 1

也可以建立涉及多个输入和其他布尔运算的更複杂的真值表。

真值表套用在逻辑中，解释 0 为假，1 为真，$\backslash cap$ 为与，$\backslash cup$ 为或，而 ¬ 为非。

其他记号

可以使用各种样式的基本算符来表达布尔逻辑。AND(与)、OR(或)、NOT(非)是最直觉的。数学家、工程师和程式设计师经常使用 + 表示或，$\backslash cdot$ 表示与(因为在某些方面这些运算类似于在其他代数结构中的加法和乘法，并且这种记号使熟悉普通代数的人易于得到积之和範式)。非也表示为在要否定的表达式顶上的一个横线。

另一种记号使用交表示与使用并表示或。但是这会导致混淆，因为术语并也经常用于合併集合的另一个布尔运算，它包括了与和或二者。

布尔术语的基本数学使用

在联立方程的情况下，它们是用暗含的逻辑与连线的：

x + y = 2

AND

x - y = 2

同样适用于联立不等式：

x + y < 2

AND

x - y < 2

大于等于号($\backslash ge$)和小于等于号($\backslash le$)可以假定包含了一个逻辑或：

X < 2

OR

X = 2

加/减号($\backslash pm$)，在平方根的解的情况下，可以被看作是逻辑或：

WIDTH = 3

OR

WIDTH = -3

在计算机中布尔逻辑定义若干布尔逻辑函式，有时候称为操作符。每个函式根据一个或者更多的输入，用一个逻辑算法来计算输出值。该算法根据输入所取真和假的组合来决定什么时候输出真（0真1假；1真0假。相对的）。每个逻辑函式类似于一个现实世界的逻辑运算，可以用来定义各种逻辑的情况。

1 非（NOT)

函式：NOT 仅是一个否定；输出与输入的相反。（NOT函式仅有一个输入，故称为一元函式或者一元操作符）。当输入为假，输出是真，反之亦然。NOT函式逻辑上表达一个条件的反面。

2 与 ( AND)

函式：AND 可以有任意多个输入，但最少是两个。仅当AND函式的第一个、第二个和第三个输入等都是真，它的输出才是真。

3 或 （OR)

函式：OR可以有任意多个输入，但最少是两个。OR函式无论何时只要一个输入中出现了真，输出就是真。

4 异或 （XOR)

函式：XOR是OR的变体。仅当一个输入或者另一个输入是真，但不是两者都为真（既如果输入是不同的），它的输出才为真。