
1.2 逻辑代数中的3种基本逻辑运算

逻辑代数中的3种基本逻辑运算
英国数学家提出了描述客观事物逻辑关系的数学方法,该方法后来被称为布尔代数。由于布尔代数被广泛应用于解决开关电路和数字逻辑电路的分析与设计,所以又把布尔代数叫作开关代数或者逻辑代数。本节所讲的逻辑代数就是布尔代数在二值逻辑电路中的应用。
在逻辑代数中也用字母表示变量,这种变量称为逻辑变量。在二值逻辑中,每个变量只有0和1两种取值的可能。在这里,0和1不再是数值的大小,而只表示两种不同的逻辑状态。
事物之间的因果关系称为逻辑关系。基本的逻辑关系有3种:与逻辑、或逻辑和非逻辑。任何一个复杂的逻辑关系都可以用这3个基本逻辑关系表示出来。为便于理解它们的含义,先来看3个简单的电路。
图1.2.1中给出了3个简单的、由开关控制的灯光控制电路。在图1.2.1(a)中,只有当两个开关同时闭合时,白炽灯才会亮;在图1.2.1(b)中,只要任何一个开关闭合,白炽灯就会亮;在图1.2.1(c)中,当开关闭合时,白炽灯反而不亮。
如果把开关状态(断开或者闭合)作为条件(或称为导致事件结果的原因),把白炽灯的状态(亮或者不亮)作为结果,那么图1.2.1中的3个电路代表了3种不同的逻辑关系。
图1.2.1(a)表明,只有当开关A、B均闭合时,白炽灯才会亮,这种开关状态与白炽灯状态之间的逻辑关系为与逻辑关系。其定义为:如果决定某事件结果的所有条件都具备,事件才发生;而只要其中一个条件不具备,事件就不发生,这种逻辑关系称为与逻辑关系。
图1.2.1(b)表明,只要开关A、B中有一个闭合,白炽灯就会亮;只有当开关A、B均断开时,白炽灯才不会亮。这种开关状态与白炽灯状态之间的逻辑关系为或逻辑关系。其定义为:在决定事件结果的多个条件中,只要一个条件具备,事件就会发生;只有所有条件均不具备时,事件才不发生,这种逻辑关系称为或逻辑关系。
图1.2.1(c)表明,只要开关A闭合,白炽灯就不会亮;只有当开关A断开时,白炽灯才亮。这种开关状态与白炽灯状态之间的逻辑关系为非逻辑关系。其定义为:决定事件结果的条件只有一个,条件成立时,事件不发生;条件不成立时,事件发生,这种逻辑关系称为非逻辑关系。

图1.2.1 3种逻辑关系示意图
若以A、B表示开关的状态,并以1表示开关闭合,0表示开关断开;以Y表示白炽灯的状态,并以1表示亮,0表示不亮,则可以列出用0和1表示的与、或、非逻辑关系的图表,如表1.2.1、表1.2.2、表1.2.3所示。这种用0和1表示输入、输出状态关系的表称为逻辑状态表,也称真值表。
表1.2.1 与逻辑真值表

表1.2.2 或逻辑真值表

表1.2.3 非逻辑真值表

在逻辑代数中,把与、或、非看作输出逻辑变量Y与输入逻辑变量A和B间的3种最基本的逻辑运算,并以“∙”表示与运算、“+”表示或运算、变量上的“−”表示非运算。因此,与运算的逻辑表达式为
Y=A∙B=AB
由此可将表1.2.1中的内涵转化为如下4个表达式:
0∙0=0,0∙1=0,1∙0=0,1∙1=1
或运算的逻辑表达式为
Y=A+B
由此可将表1.2.2中的内涵转化为如下4个表达式:
0+0=0,0+1=1,1+0=1,1+1=1
非运算的逻辑表达式为

由此可将表1.2.3中的内涵转化为如下两个表达式:

同时,把实现与运算的单元电路称为与门,把实现或运算的单元电路称为或门,把实现非运算的单元电路称为非门(也叫作反相器)。其对应的电路符号如图1.2.2所示,其中上边一行是目前国家标准规定的符号,下边一行常见于国外的书刊和资料中。

图1.2.2 与门、或门、非门的电路符号