下学期辅修汇编、计组,需要补一下数电知识。。有输入就要有输出,谨以此文纪念我数电学习道路。
布尔代数和逻辑函数的化简
概念
怎么说呢,就是取值只有 0 和1两个值的逻辑变量组成表达式、函数。其运算就是布尔代数。
运算
最基本逻辑运算:
- 与逻辑,当且 两个 都为
1时结果为1,记做 - 或逻辑,两个 变量有一个为
1即为1,记做 - 非逻辑,当 一个 变量为
1时结果为0,为0时结果为1,记做
扩展逻辑运算:
- 与非:
- 或非:
- 与或非:
- 异或:
公式
下面这些公式只需要了解 与、与或形式 即可,因为 或、或与形式 可以由前面推出来,对偶变换 会讲到。
证明的话可以用穷举法来证明,就是将变量所有取值一一带入验证,这里略过。
常量间运算
| 与、与或形式 | 或、或与形式 |
|---|---|
变量与常量的运算
| 与、与或形式 | 或、或与形式 |
|---|---|
运算定律
| 定律 | 与、与或形式 | 或、或与形式 |
|---|---|---|
| 交换律 | ||
| 结合律 | ||
| 分配律 | ||
| 同一律 | ||
| 还原律 | ||
| 摩根定律 |
常用公式
(证: ) (证: )
基本规则
带入规则
在布尔等式中,用函数去代替变量,等式仍成立。
对偶规则
在一个布尔等式(或函数式)中,等式两边实行:
- 加乘互换
0和1互换
等式仍然成立,则称上述变换为对偶变换。
例如在等式
反演规则
设
- 加乘互换
0和1互换- 原反变换(就是式子中原变量写成反变量,反变量写成原变量)
例如求
不过需要注意的是:
需要将
展开规则
化简
对于同一逻辑关系有多种形式,最简单的就是 与项最少,每一与项的变量也最少
- 先将任意布尔式化为 与或型 的布尔式。
- 利用公式化简。
- 可以考虑合项法(提公因式)和配项法(乘以
) - 卡诺图 化简法
最大项和最小项
这里举个例子来说什么是最大项和最小项吧。
给出真值表求表达式:
| A | B | C | P |
|---|---|---|---|
| 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 1 |
| 0 | 1 | 1 | 0 |
| 1 | 0 | 0 | 1 |
| 1 | 0 | 1 | 0 |
| 1 | 1 | 0 | 0 |
| 1 | 1 | 1 | 1 |
先看结果有多少个 1,这里有 4 个1,则表达式有 4 项最小项(或最大项)。然后将结果为 1 的表达式中,0 的部分用 反变量 表示,1的部分用 原变量 表示。
那么结果为:
最小项
n 个变量的最小项就是 n 个变量的 乘积项 ,每个变量自出现 一次 ,每个变量可以是 原变量 或者 反变量 。所以最小项有
| A | B | 最小项 | |
|---|---|---|---|
| 0 | 0 | ||
| 0 | 1 | ||
| 1 | 0 | ||
| 1 | 1 |
最大项
n 个变量的最大项就是 n 个变量的 逻辑和 ,每个变量自出现 一次 ,每个变量可以是 原变量 或者 反变量 。所以最大项有
| A | B | 最大项 | |
|---|---|---|---|
| 0 | 0 | ||
| 0 | 1 | ||
| 1 | 0 | ||
| 1 | 1 |
性质
- 最大项和最小项互为反函数。
- 全部最小项之和等于
1。 - 全部最大项之积等于
0。 - 一部分最小项之和的反等于另一部分最小项之和。
- 两个不同的最小项之积等于
0。 - 两个不同的最大项之和等于
1。
卡诺图
卡诺图类似于真值表,在图上有 1 的格子圈出来后,几个矩形就是几个与项。

