2.2逻辑函数及其描述方法
03-27
第二章 逻辑函数与门网络
2.2 逻辑函数及其描述方法
在逻辑代数中，任何对n 个逻辑变量进行有限次逻辑运算的逻辑表达式，称为n 变量的逻辑函数或简称函数，记作：
例: 举重比赛有三名裁判，当运动员将杠铃举起后，须有两名或两名以上裁判认可，方可判定试举成功，若用字母
A 、B 、C 分别代表三名裁判的意见，同意为1，否定为0；F 为裁判结果，试举成功时F=1，试举失败时F=0，则F 与A 、B 、C 之间的关系可以用函数F f (A , B , C ) 表示。
2.2.1 逻辑表达式 （不唯一）
与项AB 、BC 和AC 代表两名裁判都同意，ABC 表示三名裁判都同意，该函数的逻辑表达式为
:
2.2.2 逻辑图 （不唯一）
2.2.3 真值表 Truth Table（唯一）
n 个变量共有2行真值表，真值表穷举了函数的所有情况，因而是唯一的 。
2.2.4 卡诺图 Karnaugh Map（唯一） n
n 个变量分为两组，构成了二维卡诺图，卡诺图也穷举了函数的所有情况，因而是唯一的 。
2.2.5 标准表达式（唯一）
与项：卡诺图与真值表中每一个单元对应一个与项。
最小项 Minterm 和 与或式
2.2.6 最大项 Maxterm 和或与式
2.2.7 非完全定义逻辑函数
任意项或无关项 （Don’t Care ） ： ⨯、-、d 、Φ 表示
非完全定义逻辑函数的实现