mfc延时函数不影响其他程序的运行_03-04 逻辑函数的表示(真值表+卡诺图）

逻辑函数的表示方法

1. 真值表(唯一，规模大)

2. 函数式(不唯一，繁简不一)

3. 波形图(主要是复杂)

真值表与函数式

• 规律1： 任何一个布尔函数可表示为最小项之和/最大项之积
• 规律2： 具有相邻性的最小项可以合并，并消去取值不同的因子。
• 可以利用互补律补全乘积项中缺少的因子

最大项：在 变量逻辑函数中，若 为 个变量之 和 ，而且这 个变量均以原变

量或反变量的形式在 中 出现一次 ，则称 为该组变量的 最大项(不常用)

标准形式：SOP(最大项之积) / POS(最小项之和)

---

一些电路设计相关的内容

非法项X：可能同时被0和1驱动的节点（注意与真值表中的无关项不同)

浮空项Z

例子：三态缓冲器 Tristate Buffer

---

时序设计：如何使电路运行最快

传播延迟

：当输入改变直到

一个或多个输出达到它们的最终值所经历的 最长时间

最小延迟

: ：当一个输入发生变化直到

任何一个输出开始改变 的最短时间。

关键路径(最长延时, 最大传播延迟之和)

最短路径(最短延时, 最小延迟最小和)

毛刺与冒险

• 毛刺：一个输入信号的改变导致 多个 输出信号的改变。通常没有什么大的影响

• 电路中信号处于 状态转换过程 中，有的电路会发生一种现象： 竞争冒险

• 竞争冒险 ：在组合电路中，当逻辑门有 两个互补输入信号同时向相反变化 （竞争）时输出端 可能 产生 过渡干扰脉冲 （冒险）的现象。

消除竞争冒险方法

• 1. 修改逻辑设计(增加冗余项)
• 2. 加选通脉冲

---

同一逻辑问题表达式之间的关系：

1. 一个逻辑函数的两种范式逻辑表达之间，存在以下关系：若 = ，则 = ，其中 ≠
2. 一个逻辑函数与其反函数的逻辑表达间，存在以下关系：若 = ，则 = ，其中 ≠

卡诺图：

• 每个1至少被包括一次
• 大小为
  的卡诺圈
• 相邻(最小项只变化一个变量)

• 上下左右相邻

• 无关项X(帮助化简)

卡诺图化简：先寻找必要质蕴涵，再处理其他

• 蕴含：最小项
• 质蕴涵
• 必要质蕴涵：一个最小项的方格只被一个质蕴涵包含，则该蕴含为必要质蕴涵

化简过程：

1. 先找质蕴涵

2. 找出必要质蕴涵

3. 处理剩余的非必要质蕴涵

• 充分利用无关项d(无关项可以用于卡诺图的 进一步化简)

扩展：5变量卡诺图

设计最优化问题：最多复用元器件

尽可能地复用元件

总结：