- 数字电子技术教程
- 数字电子技术 - 首页
- 数字电子技术基础
- 数字系统类型
- 信号类型
- 逻辑电平与脉冲波形
- 数字系统组件
- 数字逻辑运算
- 数字系统优势
- 数制
- 数制
- 二进制数表示
- 二进制运算
- 有符号二进制运算
- 八进制运算
- 十六进制运算
- 补码运算
- 进制转换
- 进制转换
- 二进制转十进制
- 十进制转二进制
- 二进制转八进制
- 八进制转二进制
- 八进制转十进制
- 十进制转八进制
- 十六进制转二进制
- 二进制转十六进制
- 十六进制转十进制
- 十进制转十六进制
- 八进制转十六进制
- 十六进制转八进制
- 二进制编码
- 二进制编码
- 8421 BCD码
- 余3码
- 格雷码
- ASCII码
- EBCDIC码
- 编码转换
- 错误检测与纠错码
- 逻辑门
- 逻辑门
- 与门
- 或门
- 非门
- 通用门
- 异或门
- 异或非门
- CMOS逻辑门
- 用二极管电阻逻辑实现或门
- 与门与或门比较
- 两级逻辑实现
- 阈值逻辑
- 布尔代数
- 布尔代数
- 布尔代数定律
- 布尔函数
- 德摩根定理
- SOP和POS形式
- POS到标准POS形式
- 最小化技术
- 卡诺图化简
- 三变量卡诺图
- 四变量卡诺图
- 五变量卡诺图
- 六变量卡诺图
- 无关项
- 奎因-麦克拉斯基方法
- 最小项和最大项
- 规范式和标准式
- 最大项表示
- 利用布尔代数进行化简
- 组合逻辑电路
- 数字组合电路
- 数字运算电路
- 多路选择器
- 多路选择器设计步骤
- 多路选择器通用门
- 用4:1多路选择器实现2变量函数
- 用8:1多路选择器实现3变量函数
- 多路分配器
- 多路选择器与多路分配器比较
- 奇偶校验位生成器和校验器
- 比较器
- 编码器
- 键盘编码器
- 优先编码器
- 译码器
- 算术逻辑单元
- 7段LED显示器
- 编码转换器
- 编码转换器
- 二进制转十进制转换器
- 十进制转BCD转换器
- BCD转十进制转换器
- 二进制转格雷码转换器
- 格雷码转二进制转换器
- BCD转余3码转换器
- 余3码转BCD转换器
- 加法器
- 半加器
- 全加器
- 串行加法器
- 并行加法器
- 用半加器实现全加器
- 半加器与全加器比较
- 用与非门实现全加器
- 用与非门实现半加器
- 二进制加法/减法器
- 减法器
- 半减器
- 全减器
- 并行减法器
- 用两个半减器实现全减器
- 用与非门实现半减器
- 时序逻辑电路
- 数字时序电路
- 时钟信号和触发
- 锁存器
- 移位寄存器
- 移位寄存器应用
- 二进制寄存器
- 双向移位寄存器
- 计数器
- 二进制计数器
- 非二进制计数器
- 同步计数器设计
- 同步计数器与异步计数器比较
- 有限状态机
- 算法状态机
- 触发器
- 触发器
- 触发器转换
- D触发器
- JK触发器
- T触发器
- SR触发器
- 带时钟的SR触发器
- 无时钟的SR触发器
- 带时钟的JK触发器
- JK触发器转T触发器
- SR触发器转JK触发器
- 触发方式:触发器
- 边沿触发触发器
- 主从JK触发器
- 竞争冒险现象
- 模数和数模转换器
- 模数转换器
- 数模转换器
- DAC和ADC集成电路
- 逻辑门的实现
- 用与非门实现非门
- 用与非门实现或门
- 用与非门实现与门
- 用与非门实现或非门
- 用与非门实现异或门
- 用与非门实现异或非门
- 用或非门实现非门
- 用或非门实现或门
- 用或非门实现与门
- 用或非门实现与非门
- 用或非门实现异或门
- 用或非门实现异或非门
- 用CMOS实现与非/或非门
- 用与非门实现全减器
- 用2:1多路选择器实现与门
- 用2:1多路选择器实现或门
- 用2:1多路选择器实现非门
- 存储器
- 存储器
- RAM和ROM
- 高速缓存存储器设计
- 可编程逻辑器件
- 可编程逻辑器件
- 可编程逻辑阵列
- 可编程阵列逻辑
- 现场可编程门阵列
- 数字电子技术系列
- 数字电子技术系列
- CPU架构
- CPU架构
- 数字电子技术资源
- 数字电子技术 - 快速指南
- 数字电子技术 - 资源
- 数字电子技术 - 讨论
数字电子技术 - 德摩根定理
在布尔代数中,定义了若干规则用于在数字逻辑电路中执行运算。布尔代数是一种用于对二进制数字(即0和1)执行运算的工具。这两个二进制数字0和1分别用于表示数字电路在输入和输出端的FALSE和TRUE状态。布尔代数由乔治·布尔创立,它使用0和1来创建数字电路(如与门、或门、非门等)的真值表和逻辑表达式,这些表达式用于分析和简化复杂的电路。
还有一位英国数学家奥古斯都·德摩根,他分别将与非运算和或非运算解释为非与运算和非或运算。这种解释被称为德摩根定理。在本教程中,我们将详细讨论德摩根定理。
什么是德摩根定理?
德摩根定理是布尔代数中一个强大的定理,它包含一组两条规则或定律。这两条定律的制定是为了展示两个变量的与、或和非运算之间的关系。这两条规则使变量能够取反,即与其原始形式相反。因此,德摩根定理给出了逻辑函数的对偶。
现在,让我们来讨论德摩根定理的两条定律。
德摩根第一定理(定律1)
德摩根第一定律指出,变量的和(或运算)的补等于其各个补的积(与运算)。换句话说,两个或多个变量或运算的补等价于每个变量的补的与运算,即:
$$\mathrm{\overline{A+B} \: = \: \bar{A} \cdot \bar{B}}$$
或者,它也可以表示为:
$$\mathrm{\lgroup A \: + \: B \rgroup' \: = \: A'\cdot B'}$$
该定律左右两边的逻辑实现如图1所示。
因此,德摩根第一定律证明了或非门等价于带气泡的与门。下表显示了该定律的证明。
左侧 | 右侧 | ||||
---|---|---|---|---|---|
输入 | 输出 | 输入 | 输出 | ||
A | B | (A + B)' | A' | B' | A'· B' |
0 | 0 | 1 | 1 | 1 | 1 |
0 | 1 | 0 | 1 | 0 | 0 |
1 | 0 | 0 | 0 | 1 | 0 |
1 | 1 | 0 | 0 | 0 | 0 |
此真值表证明了左侧的布尔表达式等价于德摩根第一定律表达式右侧的布尔表达式。
此外,德摩根第一定律可以扩展到任意数量的变量或变量组合。
例如:
$$\mathrm{\overline{A \: + \: B \: + \: C \: + \: D \: + \: E \: + \: \dotso} \: = \: \bar{A} \: \bar{B} \: \bar{C} \: \bar{D} \: \bar{E} \: \dotso}$$
此外:
$$\mathrm{\overline{ABC \: + \: DE \: + \: FGH \: + \: \dotso}\: = \: \overline{\lgroup ABC \rgroup}.\overline{\lgroup DE \rgroup}.\overline{\lgroup FGH\rgroup}.\dotso}$$
从以上讨论中,我们可以得出结论,德摩根第一定律将表达式从NOT符号下的和形式转换为积形式。
德摩根第二定理(定律2)
德摩根第二定律指出,变量的积(与运算)的补等价于其各个补的和(或运算)。
换句话说,两个或多个变量与运算的补等于每个变量的补的和运算,即:
$$\mathrm{\overline{AB} \: = \: \overline{A} \: + \: \overline{B}}$$
它也可以表示为:
$$\mathrm{\lgroup AB \rgroup' \: = \: A' \: + \: B'}$$
该表达式左右两边的逻辑实现如图2所示。
因此,德摩根第二定律证明了与非门等价于带气泡的或门。下表显示了该定律的证明。
左侧 | 右侧 | ||||
---|---|---|---|---|---|
输入 | 输出 | 输入 | 输出 | ||
A | B | AB | A' | B' | A' + B' |
0 | 0 | 0 | 1 | 1 | 1 |
0 | 1 | 1 | 1 | 0 | 1 |
1 | 0 | 1 | 0 | 1 | 1 |
1 | 1 | 1 | 0 | 0 | 0 |
此真值表证明了左侧的布尔表达式等价于德摩根第二定律表达式右侧的布尔表达式。
与第一定律类似,我们可以将德摩根第二定律扩展到任意数量的变量或变量组合。
例如:
$$\mathrm{\overline{ABCDE \dotso} \: = \: \overline{A} \: + \: \overline{B} \: + \: \overline{C} \: + \: \overline{D} \: + \: \overline{E} \: + \: \dotso}$$
并且,对于变量组合:
$$\mathrm{\overline{\lgroup ABC \rgroup} \overline{\lgroup DE \rgroup} \overline{\lgroup FG \rgroup \dotso} \: = \: \overline{ABC} \: + \: \overline{DE} \: + \: \overline{FG}}$$
因此,根据以上讨论,我们可以得出结论,德摩根第二定律将变量或变量组合的乘积形式在非符号下转换为和的形式。
因此,德摩根定律将与运算转换为或运算,将或运算转换为与运算。这个原理称为对偶性。
示例 1
将德摩根定理应用于以下布尔表达式:
$$\mathrm{F \: = \: \overline{AB \overline{ \lgroup C \: + \: D \rgroup}EF}}$$
解答
给定的表达式是:
$$\mathrm{F \: = \: \overline{AB \overline{ \lgroup C \: + \: D \rgroup}EF}}$$
由于给定的表达式在非符号下具有与运算,因此应用德摩根第二定律,我们得到:
$$\mathrm{F \: = \: \overline{AB} \: + \: \lgroup C \: + \: D \rgroup \: + \: \overline{EF}}$$
这是给定表达式的等价式或对偶式。
示例 2
将德摩根定理应用于以下布尔表达式:
$$\mathrm{F \: = \: \overline{AB \: + \: \overline{CD}}}$$
解答
给定的表达式是:
$$\mathrm{F \: = \: \overline{AB \: + \: \overline{CD}}}$$
给定的表达式以非符号下的变量和的形式出现,因此应用德摩根第一定律,我们得到该表达式的对偶式。
$$\mathrm{F \: = \: \overline{AB} \cdot \overline{\overline{CD}} \: = \: \overline{AB} \cdot CD}$$
在本章中,我们解释了德摩根定理的两个定律,并展示了它们如何在数字逻辑电路中执行不同的操作。