2.2 逻辑代数的基本运算

2.2 逻辑代数中的三种基本运算

逻辑代数的基本运算有与 (AND)、或 (OR)、非 (NOT) 三种。为便于理解它们的含义，先来看一个简单的例子。

2.2.1 逻辑代数中的三种基本运算

图 2.2.1 中给出了三个指示灯的控制电路。在图 (a) 电路中，只有当两个开关同时闭合时指示灯才会亮；在图 (b) 电路中，只要有任何一个开关闭合，指示灯就亮；而在图 (c) 电路中，开关断开时灯亮，开关闭合时灯反而不亮。

如果把开关闭合作为条件（或导致事物结果的原因），把灯亮作为结果，那么图 2.2.1 中的三个电路代表了三种不同的因果关系：

• 图 (a) 的例子表明，只有决定事物结果的全部条件同时具备时，结果才发生。这种因果关系称为逻辑与，或称逻辑相乘。
• 图 (b) 的例子表明，在决定事物结果的诸条件中只要有任何一个满足，结果就会发生。这种因果关系称为逻辑或，也称逻辑相加。
• 图 (c) 的例子表明，只要条件具备了，结果便不会发生；而条件不具备时，结果一定发生。这种因果关系称为逻辑非，也称逻辑求反。

若以 A、B 表示开关的状态，并以 1 表示开关闭合，以 0 表示开关断开；以 Y 表示指示灯的状态，并以 1 表示灯亮，以 0 表示不亮，则可以列出以 0、1 表示的与、或、非逻辑关系的图表，如表 2.2.1、表 2.2.2 和表 2.2.3 所示。这种图表称为逻辑真值表 (truth table)，简称真值表。

表 2.2.1 与逻辑运算的真值表

A	B	Y
0	0	0
0	1	0
1	0	0
1	1	1

表 2.2.2 或逻辑运算的真值表

A	B	Y
0	0	0
0	1	1
1	0	1
1	1	1

表 2.2.3 非逻辑运算的真值表

A	Y
0	1
1	0

在逻辑代数中，将与、或、非看作是逻辑变量 A、B 间的三种最基本的逻辑运算，并以“·”表示与运算，以“+”表示或运算，以变量右上角的“'”表示非运算。因此，A 和 B 进行与逻辑运算时可写成：

𝑌=𝐴⋅𝐵Y=A⋅B

A 和 B 进行或逻辑运算时可写成：

𝑌=𝐴+𝐵Y=A+B

对 A 进行非逻辑运算时可写成：

𝑌=𝐴′Y=A′

同时，将实现与逻辑运算的单元电路称为与门，将实现或逻辑运算的单元电路称为或门，将实现非逻辑运算的单元电路称为非门（也称为反相器）。

逻辑非的运算符号尚无统一的标准。除了本书中采用“'”表示非运算以外，目前在国内、外的某些电子技术教材和 EDA 软件中，也采用 𝐴‾A、-A、A 表示 A 的非运算。用“'”作为非运算符号比起在变量上加横线作为非运算符号更便于计算机输入，尤其在逻辑运算式中存在多重非运算时，这种优越性就更加明显。因此，在教材和 EDA 软件中使用“'”作为非运算符号的越来越多了。

与、或、非逻辑运算还可以用图形符号表示。图 2.2.2 中给出了被 IEEE（电气与电子工程师协会）和 IEC（国际电工协会）认定的两套与、或、非的图形符号，其中一套是目前在国外教材和 EDA 软件中普遍使用的特定外形符号，如图 2.2.2(a) 所示。另一套是矩形轮廓的符号，如图 2.2.2(b) 所示。本书中采用特定外形符号。

实际的逻辑问题往往比与、或、非复杂得多，不过它们都可以用与、或、非的组合来实现。最常见的复合逻辑运算有与非 (NAND)、或非 (NOR)、与或非 (AND-NOR)、异或 (EXCLUSIVE OR)、同或 (EXCLUSIVE NOR) 等。表 2.2.4 ~ 表 2.2.8 给出了这些复合逻辑运算的真值表。图 2.2.3 是它们的图形逻辑符号和运算符号。这些图形符号同样也有特定外形符号和矩形轮廓符号两种。

表 2.2.4 与非逻辑的真值表

A	B	Y
0	0	1
0	1	1
1	0	1
1	1	0

表 2.2.5 或非逻辑的真值表

A	B	Y
0	0	1
0	1	0
1	0	0
1	1	0

表 2.2.6 与或非逻辑的真值表

A	B	C	D	Y
0	0	0	0	1
0	0	0	1	0
0	0	1	0	0
0	0	1	1	0
0	1	0	0	0
0	1	0	1	0
0	1	1	0	0
0	1	1	1	0
1	0	0	0	0
1	0	0	1	0
1	0	1	0	0
1	0	1	1	0
1	1	0	0	0
1	1	0	1	0
1	1	1	0	0
1	1	1	1	0

表 2.2.7 异或逻辑的真值表

A	B	Y
0	0	0
0	1	1
1	0	1
1	1	0

表 2.2.8 同或逻辑的真值表

A	B	Y
0	0	1
0	1	0
1	0	0
1	1	1

 

由表 2.2.4 可见，将 A、B 先进行与运算，然后将结果求反，最后得到的即为 A、B 的与非运算结果。因此，可以把与非运算看作是与运算和非运算的组合。图 2.2.3 中图形符号上的小圆圈表示非运算。

在与或非逻辑中，A、B 之间以及 C、D 之间都是与的关系，只要 A、B 或 C、D 任何一组同时为 1，输出 Y 就是 0。只有当每一组输入都不全是 1 时，输出 Y 才是 1。

异或是这样一种逻辑关系：当 A、B 不同时，输出 Y 为 1；而当 A、B 相同时，输出 Y 为 0。异或也可以用与、或、非的组合表示：

𝐴⊕𝐵=𝐴⋅𝐵′+𝐴′⋅𝐵A⊕B=A⋅B′+A′⋅B

同或和异或相反，当 A、B 相同时，Y 等于 1；A、B 不同时，Y 等于 0。同或也可以写成与、或、非的组合形式：

𝐴⊙𝐵=𝐴⋅𝐵+𝐴′⋅𝐵′A⊙B=A⋅B+A′⋅B′

而且，由表 2.2.7 和表 2.2.8 可见，异或和同或互为反运算，即：

𝐴⊙𝐵=(𝐴⊕𝐵)′A⊙B=(A⊕B)′ 𝐴⊕𝐵=(𝐴⊙𝐵)′A⊕B=(A⊙B)′

为简化书写，允许将 𝐴⋅𝐵A⋅B 简写成 AB，略去逻辑相乘的运算符号“·”。