逻辑函数的表示形式主要有: 逻辑函数表达式、真值表、卡诺图、逻辑图。
本文主要介绍 逻辑函数表达式里的最小项,卡诺图, 逻辑图。
1 最小项
设由三个输入变量A、B、C组成逻辑函数, 可以组成许多乘积项, 如ABC、 A(B+C)、、
等, 其中有一类乘积项:
, 这8个乘积项就是三变量输入函数的最小项。
最小项具有以特点:
1. 每个乘积项包括三个输入量;
2. 每个变量都以原变量(A、B、C)或反变量(A、B、C)的形式在每个乘积项中出现且仅出现一次。
表1 列出了三变量所有最小项
ABC | 最小项 | 最小项编号 |
000 | ![]() | m0 |
001 | ![]() | m1 |
010 | ![]() | m2 |
011 | ![]() | m3 |
100 | ![]() | m4 |
101 | ![]() | m5 |
110 | ![]() | m6 |
111 | ![]() | m7 |
表1 三输入变量所有最小项
对于n个输入变量的逻辑函数,就有 个最小项。
最小项具有下列性质:
- 对于任意一个最小项,只有输入变量的一组取值使得它的值为1. 而取其他值时, 这个最小项的值都为0.
- 对于同一个变量取值, 任意两个最小项的乘积恒为0.
即 mi = mj(ij)
- 任意取值的变量条件下,全体最小项的和为1。
以下看几个例子:
例1: 写出二输入变量A、B的最小项。
解: 二输入变量有 4 个最小项, 按照最小项定义, 四个最小项如下:
、
、
、
例2:
上式的最小项可分别表示为m1、m5、m6、m7, 所以又可写为 F(A,B,C)=m1 + m5 + m6 + m7, 或者
2 卡诺图
卡诺图是图形化的真值表, 是由美国工程师卡诺(Karnaugh)首先提出的一种用来描述逻辑函数的特殊方格图。
2.1 对于具有两个输入变量 A和B的逻辑函数,把输入变量A和B分别横写和竖写, 列出可能的取值0和1, 再把与A和B形成的最小项填入对应的方格中,用这样的表格表示逻辑函数称为卡诺图。
图 1 二变量的卡诺图
图1 中每一个方格对应逻辑函数的一个最小项, 而且几何位置相邻(上下或左右相邻)的小方格具有逻辑相邻性,也就是说两个相邻小方格所代表的最小项只有一个变量取值不同。
2.2 对于有n个变量的逻辑函数, 其最小项有 个,因此该逻辑函数的卡诺图由
个小方格构成, 每个小方格都满足逻辑相邻项的要求。 三变量的卡诺图如下图2 所示, 四变量的卡诺如下图3所示。
图2 三变量的卡诺图 图3 四变量的卡诺图
注意 卡诺图的顺序, 行的排列是 00, 01,11,10, 因此三变量 第一行后两格是 m3,m2, 不是m2, m3, 注意观察顺序
2.3 以下看几个例子
例1: 画出两变量函数F (A,B) = m(0, 2)的卡诺图。
解: 先画出两变量函数卡诺图,也就是有 4 个方格的表格, 再将两个输入变量 A 和 B 分别分配在列和行上,将对应于
m0 = 和 m2 =
的方格填上1. 即下图
例2: 画出三变量函数F(A,B,C) = m(0, 2, 5, 7)的卡诺图
解:先画出三变量卡诺图, 也就是有8个方格的表格,将变量 A 分配在列, 变量 BC 分配在行上; 列出变量 A的两种可能的取值0和1, 变量BC的四种可能的取值:00、01、11、10, 注意逻辑相邻原则;再将对应于最小项m0、m2、m5、m7的方格填上1,其他的方格不填。
3 逻辑图
由逻辑符号表示逻辑函数的图形, 叫做逻辑电路图, 简称逻辑图。