逻辑函数

1. 逻辑函数的几种表示方法

逻辑函数：描述输入逻辑变量和输出逻辑变量之间的因果关系。

（1）真值表

（2）逻辑表达式

最小项的定义
对于有n个变量的逻辑函数，若有一个乘积项包含了全部的n个变量，给个变量都以它的原变量或非变量的形式在乘积项中出现，且仅出现一次。

性质
（1）任意一个最小项，输入变量只有一组取值使其值为1，而其他各组取值均使其为0。
（2）任意两个不同的最小项之积为0。
（3）所有最小项之和为1。

逻辑函数变换成最小项表达式
①多次利用摩根定理去掉非号
②利用分配律去掉括号。
③配项

任一逻辑函数都能变换成唯一的最小项表达式。

（3）逻辑图

将所有与或非运算符号用相应的逻辑符号代替，并按照逻辑运算的先后次序将这些逻辑符号连接起来。

（4）波形图

（5）卡诺图

d表示无关项。可取0，也可取1。按化简需要选取。

三变量卡诺图

四变量卡诺图

2. 逻辑函数表示方法之间的转化

（1）真值表→逻辑表达式

画诺图

（2）逻辑表达式→逻辑图

用逻辑符号替换对应的逻辑运算

（3）逻辑图→逻辑表达式

通过逻辑符号写出表达式

（4）逻辑表达式→真值表

根据表达式写出真值表

3. 逻辑函数的化简

最简形式
一般化为 最简与-或式，
要求：
① 包含的乘积项个数最少；
② 每个乘积项中变量数最少。

（1）代数法化简

       ~~~~~~        ① 并项法：$A+\bar{A}=1$

       ~~~~~~        ② 吸收法：$A+AB=A$

       ~~~~~~        ③ 消去法：$A+\bar{A}B=A+B$

       ~~~~~~        ④ 配项法：$A=A(B+\bar{B})$

来自于代数规则。

（2）卡诺图化简

步骤：
（）列出最小项表达式
（）画卡诺图
（）包围圈
要求

1. 包围圈内的方格数是2n次方

2. 同一方格可以被不同的包围圈重复包围，但新增包围圈必须有新的方格。

3. 包围圈的方格数尽可能多，包围圈数目尽可能少
   （）写出表达式