第二章 逻辑代数基础学习要求,
掌握逻辑代数的基本概念,学会用逻辑函描述逻辑问题的基本方法。
掌握逻辑代数的公理、基本定理和重要规则;
学会用代数法化简逻辑函数;
熟练掌握用卡诺图化简逻辑函数。
2.1 逻辑代数的基本概念逻辑代数是一个由逻辑变量集 K,常量 0和
1以及“与”、“或”、“非” 3种基本运算构成的一个封闭的代数系统,记为 L={K,+,?,-,0,
1}。它是一个二值代数系统。 常量 0和 1表示真和假,无大小之分。
该 系统满足下列公理,
公理 1 交换律 A+B=B+A,A? B=B? A
公理 2 结合律 (A+B)+C=A+(B+C),
(A? B)? C=A? (B? C)
公理 3 分配律 A+ ( B? C ) =(A+B)? (B+C),
A? ( B+C ) =A? B+A? C
公理 4 0- 1律 A+ 0 =A,A? 1=A
A+1=1,A? 0=0,
公理 5 互补律 A+ A =1,A?A=0
2.1.1 逻辑变量及基本逻辑运算逻辑变量,仅取值 0或取值 1的变量。这里 0和 1
无大小之分,实际上代表着矛盾的双方或事件的真假,例如开关的接通与断开,电压的高和底,信号的有和无,电灯的亮和灭等等。
只要是两种稳定的物理状态,都可以用 0和 1这两种不同的逻辑值来表征。
一,"或 "运算如果决定某一事件发生的多个条件,只要有一个或一个以上的条件成立,事件便可发生,这种因果关系称之为 "或 "逻辑。在逻辑代数中,"或 "逻辑关系用 "或 "运算描述。 "或 "运算又称逻辑加,其运算符为 "+"或 "? ",两个变量的 "或 "运算可表示为,
F=A+B 或者 F=A?B
读作 "F等于 A或 B",其中 A,B是参加运算的两个逻辑变量,F为运算结果。意思是:只要 A,B中有一个为 1,则 F为 1;仅当 A,B
均为 0时,F才为 0。
A B F
0 0 0
0 1 1
1 0 1
1 1 1
"或 "运算表 A
+u
B
F
由“或”运算的运算表可知
“或”运算的法则为:
0+0=0 1+0=1
0+1=1 1+1=1
实现 "或 "运算的逻辑电路称为 "或 "门。
二,"与 "运算如果决定某一事件的发生的多个条件必须同时具备,事件才能发生,这种因果关系称为 "
与 "逻辑。逻辑代数中 "与 "逻辑关系用 "与 "运算描述。 "与 "运算又称逻辑乘,其运算符为 "?"或
"?"。两变量的 "与 "运算可表示为
F= A? B 或者 F=A?B
读作 "F等于 A与 B",意思是若 A? B 均为 1,则 F
为 1;否则 F为 0。
A B F
0 0 0
0 1 0
1 0 0
1 1 1
"与 "运算表
+u A B
F
由“与”运算的运算表可知
“与”运算法则为:
0? 0 = 0 1? 0 = 0
0? 1 = 0 1? 1 = 1
实现“与”运算的逻辑电路称为“与”门。
三,"非 "运算如果某一事件的发生取决于条件的否定,
则这种因果关系称为 "非 "逻辑。 "非 "逻辑用 "
非 "运算描述。 "非 "运算又称求反运算,运算符为 "- "或 "?","非 "运算可表示为
F=A 或 F=?A
读作 "F等于 A非 ",意思是若 A= 0,则 F为 1;
反之,若 A=1,则 F为 0。
“非 "运算表由“非”运算的运算表可知
“非”运算法则为,0 1 10
A F
0 1
1 0
+u
A F
实现“非”运算的逻辑电路称为“非”门。
2.1.2 逻辑函数一、逻辑函数的定义设某一电路的输入逻辑变量为 A1,A2,…,
An,输出逻辑变量为 F。 如果当 A1,A2,…,An
的值确定后,F的值就唯一地被定下来,则 F
称为 A1,A2,…,An,的逻辑函数,记为
F=f (A1,A2,…,An)
逻辑电路的功能可由相应逻辑函数完全描述。
与普通函数概念相比逻辑函数有如下特点:
1)逻辑变量与逻辑函数的取值只有 0和 1;
2)逻辑函数与逻辑变量的关系由“或”、
“与”、“非”运算决定。
二、逻辑函数的相等设有两个逻辑函数
F1=f1 (A1,A2,…,An)
F2=f2 (A1,A2,…,An)
若对应于 A1,A2,…,An的任何一组取值,F1
和 F2的值都相同,则称函数 F1和函数 F2相等,记作 F1= F2
亦称函数 F1与 F2等价。
2.1.3 逻辑函数的表示法一、逻辑表达式由逻辑变量、常量和逻辑运算符构成的合法表达式。
进行 "非 "运算可不加括号,如,等BA,A?
"与 "运算符一般可省略,A?B可写成 AB.
可根据先 "与 "后 "或 "的顺序去括号,如:
(AB)+ (CD)= AB+ CD
例,BABABAF),(
逻辑表达式书写省略规则:
,的或非读作 ABBA;非或读作+ BAA B?
非;或读作+ BAA B?
非;非读作+ BAA B?
的与非;读作 ABA B?;非与读作 BAA B?
非;与读作 BAA B?
二、真值表真值表是一种由逻辑变量的所有可能取值组合及其对应的逻辑函数值所构成的表格,
例如,函数 F=AB + AC 的真值表如 右所示,
A B C F
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 0
1 1 1 0
三、卡诺图卡诺图是一种用图形描述逻辑函数的方法。
2.2 逻辑代数的基本定理和规则
2.2.1 基本定理定理 1 0+ 0= 0 1+ 0= 1
0+ 1= 1 1+ 1= 1
0? 0 = 0 1? 0 = 0
0? 1 = 0 1? 1 = 1
推论,1 = 0 0 = 1
定理 2(重叠律 ) A+ A= A A? A = A
定理 3(吸收律 ) A+ A? B= A A?( A +B)= A
定理 4(吸收律 ) A+ A? B= A+B A?( A +B)= A? B
定理 5(对合律 ) A= A
定理 6(德摩根定理 ) A+ B= A? B A? B = A+ B
定理 7 A?B+A?B= A (A+B)?(A+B)= A
定理 8(包含律 ) A?B+A?C+BC= A?B+A?C
f (A1,A2,…,An)+ f (A1,A2,…,An)= 1
2.2.2 逻辑代数的重要规则一、代入规则任何一个含有变量 A的逻辑等式,如果将所有出现 A的位置都代之以同一个逻辑函数 F,
则等式仍然成立。
例如,给定逻辑等式 A(B+C)=AB+AC,若用 A+BC代替 A,则该等式仍然成立,即:
(A+BC)(B+C)=(A+BC)B+(A+BC)C
由公理 5(A+A=1)同样有等式二、反演规则
F= (A+B)?(C+D)
例如,已知 F= AB+ CD,根据反演规可得到,
如果将逻辑函数 F中所有的 "? "变成 "+",
"+"变成 "? ","0"变成 "1","1"变成 "0",原变量变成反变量,反变量变成原变量,所得到的新函数是原函数的反函数 F
使用反演规则时,应注意保持原函式中运算符号的优先顺序不变。
例如,已知 则),( EDCBAF
)]([ EDCBAF EDCBAF
三、对偶规则如果将逻辑函数 F中所有的 "? "变成 "+","+"
变成 "? ","0"变成 "1","1"变成 "0",则所得到的新逻辑函数 F的对偶式 F'。 如果 F'是 F的对偶式,
则 F也是 F' 的对偶式,即 F与 F'互为对偶式。
求某一函数 F的对偶式时,同样要注意保持原函数的运算顺序不变。
对偶规则,若两个逻辑函数 F的 G相等,则其对偶式 F' 和 G' 也相等。
例,F = A+ B + C F‘=A+ B + C
例,AB+AC+BC=AB+C 则 (A+B)?(A+C)?(B+C)=(A+B)?C
2.3 逻辑函数表达式的形式与变换
2.3.1 逻辑函数表达式的基本形式两种基本形式,"积之和 "表达式与 "和之积 "表达式,
"积之和 ",由若干个 "与 "项经 "或 "运算形成的
CBAABBF表达式。例如:
"和之积 ",由若干个 "或 "项经 "与 "运算形成的表达
))()(( DBACBBAF式。例如:
))(( CDBADABF
既不是与或表达式也不是或与表达式。

2.3.2 逻辑函数表达式的标准形式一、最小项如果一个具有 n个变量的函数的 "积 "项包含全部 n个变量,每个变量都以原变量或反变量形式出现,且仅出现一次,则这个 "积 "项被称为最小项。
假如一个函数完全由最小项所组成,那么该函数表达式称为标准 "积之和 "表达式,即 "最小项之和 ",
变量的各组取值
A B C
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
对应的最小项及其编号最小项 编 号
CBA
CBA
CBA
CBA
CBA
CBA
CBA
CBA
om
1m
2m
3m
4m
5m
6m
7m
三变量函数的最小项:
=m2+ m3+ m6+ m7
注意:变量的顺序,
即 n个变量的所有最小项之和恒等于 1。
所以 1
12
0

i
i
m
n
ABCCABBCACBACBAF),,(因
1),,,(),,,( 2121 nn AAAfAAAf因此,

12
0
2121 ),,,(),,,(
n
i
inn mAAAfAAAf而
=? m(2,3,6,7)
A B CCABBCACBACBAF),,(:例如最小项的性质:
1)当函数以最小项之和形式表示时,可很容易列出函数及反函数的真值表(在真值表中,函数所包含的最小项填,1”) 。
2)当 ji? 时,
0 ji mm

3) n变量的最小项有 n个相邻项。
相邻项:只有一个变量不同(以相反的形式出现)。
一对相邻项可以消去一个变量。
二、最大项如果一个具有 n个变量的函数的 "和 "项包含全部
n个变量,每个变量都以原变量或 反 变量形式出现,
且仅出现一次,则这个 "和 "项称为最大项。假如一个函数完全由最大项组成,那么这个函数表达式称为标准 "和之积 "表达式。
变量的各组取值
A B C
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
对应的最大项及其编号最大项 编 号
CBA
CBA
CBA
CBA
CBA CBA
CBA
CBA
oM
1M
2M
3M
4M
5M
6M
7M
三变量函数的最大项:
注意:变量顺序,
与最小项类似,有 0
12
0

i
i
M
n
))()()((),,( CBACBACBACBACBAF
5410 MMMM?
例如:
)5,4,1,0(M
0),,,(),,,( 2121 nn AAAfAAAf因
iinn MAAAfAAAf
n 12
02121
),,,(),,,(
而最大项的性质:
1)当函数以最大项之积形式表示时,可很容易列出函数及反函数的真值表(在真值表中,函数所包含的最大项填,0”)。
2)当 ji? 时,
1 ji MM

3) n变量的最大项有 n个相邻项。
相邻项:只有一个变量不同(以相反的形式出现)。
一对相邻项可以消去一个变量。
三、两种标准形式的转换:
以最小项之和的形式表示的函数可以转换成最大项之积的形式,反之亦然。
A B CCABBCACBACBAF),,(:例如
=? m(2,3,6,7)
F(A,B,C)=? m(0,1,4,5)
A B CCABBCACBAFF
=(A+B+C)(A+B+C)(A+B+C)(A+B+C)
)5,4,1,0(M
F(A,B,C)=? m(0,1,4,5) )7,6,3,2(M同理且有 iii mMmM i 或即:最大项与最小项互补。
例如,M3 = A+B+C = ABC = m3
2.3.3 逻辑函数表达式的转换任何一个逻辑函数,总可以将其 转换成 "最小项之和 "及 "最大项之积 "的形式,常用代数转换法或真值表转换法,
一、代数转换法用代数法求一个函数 "最小项之和 "的形式,一般分为两步:
第一步,将函数表达式变换成一般的 "与或 "式,
第二步,反复使用 X=X(Y+Y)将非最小项的 "与项 "扩展为最小项。
例,将 F(A,B,C)=(AB+BC)?AB转换成 "最小项之和 "形式
ABCBBACBAF),,(1,解:
ABCBBA
ABCBBA ))((
ABBCCABA
)()()( ),,(2 AABCBBCACCBACBAF、
)( CCAB
A B CCBABCACBACBA
CABA B CBCA
ABCCABBCACBACBA
F(A,B,C) = m0+m1+m3+m6+m7
=Σm(0,1,3,6,7)
类似地,用代数法求一个函数 "最大项之积 "
的形式,也可分为两步:
第一步,将函数表达式转换成一般 "或与 "式;
如果给出的函数已经是 "与或 "式或者是 "或与 "式,则可直接进行第二步。
第二步,反复使用 将非最大项的 "或项 "扩展成为最大项
))(( BABAA
例:将 F(A,B,C)=AB+AC转换成“最大项之积的形式。
解,1) F(A,B,C) =AB ·AC
=(A+B)(A+C)
2) F(A,B,C)=(A+B+CC)(A+BB+C)
=(A+B+C) (A+B+C)
(A+B+C)(A+B+C)
F(A,B,C) = M1 · M3 ·M6 ·M7
=ΠM(1,3,6,7)
二、真值表转换法一个逻辑函数的真值表与它的最小项表达式和最大项表达式均存在一一对应的关系。
函数 F的最小项表达式由使 F取值为 1的全部最小项之和组成。函数 F的最大项表达式由使 F
取值为 0的全部最大项之积组成。
表示成“最小项之和”将 CBACAF例:
和 "最大项之积 "的形式。
解:
A B C F
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 0
CBABCACBAF ( A,B,C)
)4,3,1(m
)()( CBACBAF ( A,B,C)
)()( CBACBA
)( CBA
)7,6,5,2,0(M
注意:任何一个逻辑函数的两种标准形式唯一,
2.4 逻辑函数的简化一般来说,逻辑函数表达式越简单,设计出来的电路也就越简单。把逻辑函数简化成最简形式称为逻辑函数的最小化,有三种常用的方法,
即代数化简法、卡诺图化简法和列表化简法。
2.4.1 代数化简法该方法运用逻辑代数的公理、定理和规则对逻辑函数进行推导、变换而进行化简,没有固定的步骤可以遵循,主要取决于对公理、定理和规则的熟练掌握及灵活运用的程度。有时很难判定结果是否为最简。
一,"与或 "式的化简化简应满足的两个条件:
1) 表达式中 "与项 "的个数最少;
2) 在满足 1)的前提下,每个 "与项 "中的变量个数最少。
CDDACA B CCAF简化例:
)()( DDACBCCAF解:
)])([()])([( DDDACCCBCA
CDACABCA
CDABCCA )(
CDACDB)A( 1
DBDBCBCBCAABF简化例:
)( GFAD EDBDBCBCBCBAF解:
)( GFA D E
)( GFA D EDBDBCBCBA
DBDBCBCBA
)()( CCDBDBCBDDCBA
DCBDBCDBCBCDBDCBA
CBDBDCA
二,"或与 "式的化简化简应满足的两个条件:
1) 表达式中 "或项 "的个数最少;
2) 在满足 1)的前提下,每个 "或项 "
中的变量个数最少。
例,F = (A+B)(A+B)(B+C)(B+C+D)
解,F = (A+B)(A+B)(B+C)(B+C+D)
=( A+B)(A+B)(B+C)
= A(B+C)
例,F = (A+B)(A+B)(B+C)(A+C)
解,F′ = AB+AB+BC+AC
= AB+AB+(B+A)C
=AB+AB+ABC
=AB+AB+C
F=(F′ )′=(A+B)(A+B)C
2.4.2 卡诺图化简法该方法简单、直观、容易掌握,当变量个数小于等于 6时非常有效,在逻辑设计中得到广泛应用。
一、卡诺图的构成
n个变量的卡诺图是一种由 2n个方格构成的图形,每一个方格表示逻辑函数的一个最小项,
所有的最小项巧妙地排列成一种能清楚地反映它们相邻关系的方格阵列。因为任意一个逻辑函数都 可表示成 "最小项之和 "的形式,所以一个函数可用图形中若干方格构成的区域来表示。
mo m2
m1 m3
0 1
0
1
A
B AB 0 1
0
1
BA BA
BA AB
B
B
A A
二变量卡诺图
mo m2 m6 m4
m1 m3 m7 m5
00 01 11 10
0
1
ABC 00 01 11 10
0
1
ABC
CBA CBA CAB CBA
CBA BCA ABC CBA
A A
C
C
B B B
三变量卡诺图
00 01 11 10
00
01
11
10
ABCD
DCBA
A
C
DCBA DCBA DCBA
DCBA DCBA DCBA DCBA
DCBA DCBA ABCD CDBA
DCBA DCBA DABC DCBA
D
B
0 4 12 8
1 5 13 9
3 7 15 11
2 6 14 10
00 01 11 10
00
01
11
10
ABCD
四变量卡诺图定义,彼此只有一个变量不同,且这个不同变量互为反变量的两个最小 项 (或 "与项 ")称为相邻最小项 (或相邻 "与项 ").
相邻最小项在卡诺图中有三种特征,即几何相邻、相对相邻和重叠相邻。
卡诺图在构造上具有以下两个特点:
1) n个变量的卡诺图由 2n个小方格组成,
每个小方格代表一个最小项。
2) 卡诺图上处在相邻、相对、相重位置的小方格所代表的最小项为相邻最小项。
二、逻辑函数的卡诺图表示将逻辑函数所对应的最小项在卡诺图的相应方格中标以 1,剩余方格标以 0或不标。
1,"与或 "式的卡诺图表示,
直接将表达式的 "与项 "或 "最小项 "所对应的方格标以 1,
00 01 11 10
0
1
ABC
1
1 1 1 1
CBABCBACACBAF),,(
可表示为:
例如:
2、其它形式函数的卡诺图表示要转换成 "与或 "式再在卡诺图上表示。
三、卡诺图的性质根据定理 7有 AB+AB=A,它表明两 个相邻
"与项 "或 "最小项 "可以合并为一项,这一项由两个 "与项 "中相同的变量组成,可以消去两个
"与项 "中不同的变量。
在卡诺图上把相邻最小项所对应的小方格 "圈 "在一起可进行合并,以达到用一个简单
"与项 "代替若干最小项的目的。这样的 "圈 "称为 "卡诺圈 "。
0 1
0
1
A
B
1 1
0 1
0
1
A
B
1
1
0 1
0
1
A
B
1 1
1
二变量卡诺图的典型合并情况
00 01 11 10
0
1
AB
C
1
1
1
1
AB
00 01 11 10
0
1
C
1 1
1 1
1 1 1 1
0
1
ABC 00 01 11 10
三变量卡诺图的典型合并情况
1
00 01 11 10
00
01
11
10
ABCD
1 1
1
1 1
11
00 01 11 10
00
01
11
10
ABCD
1 1
1 1
1 1
11
00 01 11 10
00
01
11
10
ABCD
1 1
1 1
11
1 1
1 1
四变量卡诺图的典型合并情况一个卡诺圈中的小方格满足以下规律:
1)卡诺圈中的小方格的数目为 2m,m为整数且 m?n;
3) 2m个小方格可用 (n-m)个变量的 "与项 "表示,
该 "与项 "由这些最小项中的相同变量构成。
2) 2m个小方格含有 m个不同变量和 (n-m)个相同变量 ;
4) 当 m=n时,卡诺圈包围整个卡诺图,可用 1表示,
即 n个变量的全部最小项之和为 1。
四、卡诺图化简逻辑函数的步骤:
蕴涵项,"与或 "式中的每一个 "与项 "称为函数的蕴涵项;
质蕴涵项,不被其它蕴涵项所包含的蕴涵项;
必要质蕴涵项,质蕴涵项中至少有一个最小项不被其它蕴涵项所包含。
用卡诺图化简逻辑函数的一般步骤为:
第一步,作出函数的卡诺图;
第二步,在卡诺图上圈出函数的全部质蕴涵项;
第三步,从全部质蕴涵项中找出所有必要质蕴涵项;
第四步,若全部必要质蕴涵项尚不能覆盖所有的 1 方格,则需从剩余质蕴涵项中找出最简的所需质蕴涵项,使它和必要质蕴涵项一起构成函数的最小覆盖。
例,用卡诺图化简逻辑涵数
F(A,B,C,D)=?m(0,3,5,6,7,10,11,13,15)
1
00 01 11 10
00
01
11
10
AB
CD
1
1
1
1 1
111
解:
1
1
00 01 11 10
00
01
11
10
AB
CD
1
1
1 1
111
00 01 11 10
00
01
11
10
AB
CD
1*
111
1* 1*
1*
1* 1*
CBABCACDBDDCBADCBAF ),,,(
例,用卡诺图化简逻辑函数
F(A,B,C,D)=?m(2,3,6,7,8,10,12)
1
00 01 11 10
00
01
11
10
ABCD
1
11
11
1
解:
1
00 01 11 10
00
01
11
10
ABCD
1
11
1
1
1
00 01 11 10
00
01
11
10
AB
CD
1*
1
1
1
1*1*
1*1 1
00 01 11 10
00
01
11
10
AB
CD
1*
1*1*
1* 1
DBADCACADCBAF ),,,(
DCBDCACADCBAF ),,,( 或例,用卡诺图把逻辑函数
F(A,B,C,D)=? M( 3,4,6,7,11,12,13,14,15)
化简成最简 "或与 "表达式。
)15,14,13,12,11,7,6,4,3(),,,( MDCBAF解:
15141312117643 MMMMMMMMM
15141312117643 mmmmmmmmm
)10,9,8,5,2,1,0(m
1
00 01 11 10
00
01
11
10
ABCD
0
01
00
10
11
00
1
0
0
DBABCDDCBAF),,,(
DBABCDDCBAF),,,(
))()(( DBBADC
1
2.4.4 逻辑函数化简中两个实际问题的考虑一、包含无关最小项的逻辑函数的化简无关最小项,一个逻辑函数,如果它的某些输入取值组合因受特殊原因制约而不会再现,
或者虽然每种输入取值组合都可能出现,但此时函数取值为 1还是为 0无关紧要,那么这些输入取值组合所对应的最小项称为无关最小项 。
无关最小项可以随意加到函数表达式中,
或不加到函数表达式中,并不影响函数的实际逻辑功能。
A B C D F
0 0 0 0 d
0 0 0 1 d
0 0 1 0 d
0 0 1 1 1
0 1 0 0 1
0 1 0 1 1
0 1 1 0 0
0 1 1 1 0
1 0 0 0 0
1 0 0 1 0
1 0 1 0 1
1 0 1 1 1
1 1 0 0 1
1 1 0 1 d
1 1 1 0 d
1 1 1 1 d
1
00 01 11 10
00
01
11
10
ABCD
1
1
1
1
1
),,,( DCBAF
CBACDBDCBCBA
例,给定某电路的逻辑函数真值表如下,求 F
的最简 "与或 "式。
解,1)不考虑无关最小项:
1
1
00 01 11 10
00
01
11
10
AB
CD
1
1
1
1
d
d
d d
d
d
CBCBDCBAF),,,(
2)考虑无关最小项:
二、多输出逻辑函数的化简,
对于多输出逻辑函数,如果孤立地将单个输出一一化简,然后直接拼在一起,通常并不能保证整个电路最简,
因为各个输出函数之间往往存在可供共享的部分。
多输出逻辑函数化简的标准:
2) 在满足上述条件的前提下,各不同 "
与项 "中所含的变量总数最少。
1) 所有逻辑表达式包含的不同 "与项 "
总数最小;
例,多输出函数,
对应的卡诺图为
1
00 01 11 10
0
1
AB
C
1
1
F1
1
00 01 11 10
0
1
AB
C
1
1
F2
CABACBAF),,(1
BCABCBAF),,(2
从多输出函数化简的观点来看,它们不是最佳的,应该是:
CABBACBAF),,(1
CABBCCBAF),,(2
对应的卡诺图为
1
00 01 11 10
0
1
AB
C
1
1
F1
1
11
00 01 11 10
0
1
AB
C
F2
.21 的共享部分和的其中 FFA B C