公理
单变量定理
多变量定理
德摩根定理&&推气泡
- 德·摩根定理T12是数字设计中非常有力的工具。该定理说明,所有项乘积的补等于每个项各自取补后相加。同样,所有项相加的补等于每个项各自取补后相来。
- 根据德·摩根定理,一个与非门等效于一个带逆变器输入的或门。同样,一个或非门等效于一个带反向输入的与门。每个函数的这两种表达式称为对偶式。它们是逻辑等效的,可以相互替换。
- 逆变器也称为气泡(bubble)
- 从输出端向后推气泡或者从输入端向前推气泡,将与门换成或门,反之亦然。
- 从输出端推气泡返回到输入端,把气泡放置在门的输入端。
- 向前推所有门输入端的气泡,把气泡放在门的输出端。
反演规则
参考资料
数字设计和计算机体系结构,第二版