数字部分第2章节--康华光-第五版-樊冰.ppt

2 逻辑代数与硬件描述语言 主要内容 2.1 逻辑代数 2.2 逻辑函数的卡诺图化简法 2.3 硬件描述语言Verilog HDL 基础 2.1 逻辑代数 与普通代数的相同点：均用字母表示变量 与普通代数的不同点：0、1没有量的概念 定律和定理的证明 方法1：真值表法 例1：证明反演定律 方法2：代数法 例2：证明吸收律 证： 2.1.2 逻辑代数的三个基本规则 规则之一： 代入规则 对于任何一个逻辑等式，以某个逻辑变量或逻辑函数同时取代等式两端任何一个逻辑变量后，等式依然成立。 例如，将 中用 去代替等式中的 ，则新的等式仍成立： 规则之二： 反演规则 反演规则的目的是为了求非函数。 反演规则的内容： 将一个逻辑函数 进行下列变换： ·→+ + →·  0 → 1 1 → 0  原变量 → 非变量（ ） 非变量 → 原变量（ ） 所得新函数表达式叫做 的非函数，用 表示。 注意：（1）维持原来的运算优先级不变。 （2）改变非号仅针对单个变量。 规则之三：对偶规则  L是一个逻辑表达式，进行下列变换： ·→＋，＋ →· 0 → 1，1 → 0所得新函数表达式叫做L的对偶式，用 L’表示。 2.1.3 逻辑函数的代数化简法 逻辑函数的两种化简方法：代数法、卡诺图法 化简的目的：易于用电路实现，降低成本，可靠性高 最简的定义：（以二级与或电路为对象） 首先：乘积项的个数最少（与门的个数最少，即或门的输入端数最少） 在上述条件下，每个乘积项中的变量数目最少（与门的输入端数最少） 2.2 逻辑函数的卡诺图化简法 卡诺图化简得到函数的最简与或式 2.2.1 最小项的定义及其性质 最小项（minterm） 最小项的性质: 对于任意一个最小项，输入变量只有一组取值使其值为1，而在变量取其他各组值时，这个最小项的值都是0。 一组输入变量取值只能使一个最小项的值为1。 任意两个最小项之积恒为0 全体最小项之和恒为1 最小项的编号：把与最小项对应的那一组变量取值组合（最小项中的原变量对应的取值为1，非变量对应的取值为0）当作二进制数，与其对应的十进制数，就是该最小项的编号。 为什么要对最小项进行编号？当自变量的个数较多时，逻辑表达式写起来会很麻烦，用最小项编号的形式会很简单。这是一种人为想出来的办法。 此概念的理解非常重要 2.2.2逻辑函数的最小项表达式 由真值表写出最小项表达式 2.2.3 用卡诺图表示逻辑函数 五变量逻辑函数的卡诺图 六变量逻辑函数的卡诺图 重要概念：逻辑相邻 两个变量个数相同的乘积项（与项）相比，如果只有一个因子不同（即该因子在两个乘积项中分别以原变量和非变量出现），其余变量均相同，则称这两个乘积项（与项）为逻辑相邻，简称相邻项。 逻辑相邻的两个乘积项进行“或”运算时，可以消去那个不同的变量因子。 举例 ： 重要概念：几何相邻 在卡诺图中，任意两个最小项 相接（紧挨着） 相对（任意一行或一列的两头） 则称这两个最小项为几何相邻。 逻辑相邻、几何相邻的关系 在卡诺图中的几何相邻的两个乘积项，一定是逻辑相邻的！ 卡诺图中的几何相邻，直观，易观察 逻辑相邻有时不是特别容易观察 2、化简的步骤 从逻辑函数的其它形式得到卡诺图表示形式 1．从真值表到卡诺图 2．从逻辑表达式到卡诺图 最简与或式求其它形式表达式的方法 从最简与或式求与非-与非式：应用两次德摩根定理 从最简与或式求或与式：先求非函数的最简与或式，再求非 从或与式求或非-或非式：应用两次德摩根定理 从与或式求与或非式：先求非函数的最简与或式，再求非（不用算出来） 从与或非式求或非-或非式：对其中的与项两次求非 用卡诺图合并最小项的原则（画圈的原则） （1）总是先从最孤独的方格（指1方格，即最小项）开始画圈，周围几何相邻方格较多的方格稍后再考虑。 （2）尽量画大圈，