第1章节+逻辑代数基础(new)2.pptVIP

逻辑函数的两种标准表达式 最小项之和形式，简称为积之和(SOP)形式 最大项之积形式，简称为和之积(POS)形式 * 模拟电子学基础 * 标准表达式的关系 性质1、一个逻辑函数的两种标准逻辑表达式之间，存在以下关系： 若 则 性质2、一个逻辑函数与其反函数的逻辑表达式之间，存在以下关系： 若 则 * 模拟电子学基础 * 将逻辑函数化成标准形式 要求按积之和形式展开函数，可以将非最小项的积项乘以形如 的项，其中A 是那个非最小项的积项中缺少的输入变量，然后展开，最后合并相同的最小项。 要求按和之积形式展开函数，可以将非最大项的和项加上形如 的项，其中A 是那个非最大项的和项中缺少的输入变量，然后展开，最后合并相同的最大项。 * 模拟电子学基础 * 卡诺图 每个方格代表一个最小项或者最大项。 变量排列按照相邻规则进行，即在卡诺图中相邻的方格在逻辑上也相邻。（相邻的意义：两个最小项或最大项之间只有一个变量发生变化） * 模拟电子学基础 * 卡诺图的填法 * 模拟电子学基础 * 最小项填 1 最大项填 0 卡诺图化简法 根据相邻的方格在逻辑上也相邻的原理，只要相邻的方格满足以下条件： 一、逻辑值相同； 二、小方格数为 2n 个。 就可以将相邻的方格合并为一个卡诺圈。 卡诺圈越大，可以消去的变量越多，最后得到的逻辑函数越简单。 若卡诺圈包含的小方格数为 2n 个，而这个逻辑函数具有 m 个变量，则这个卡诺圈对应的项中包含的变量数目为 m–n 个。 * 模拟电子学基础 * 卡诺图的圈法（SOP） 圈“1” 包含2n个方格 尽可能大 不遗漏 * 模拟电子学基础 * 卡诺图的圈法（POS） * 模拟电子学基础 * 圈“0” 包含2n个方格 尽可能大 不遗漏 卡诺图化简法的要点 将逻辑函数化为标准形式（或真值表） 填卡诺图 圈卡诺圈（满足2n个方格要求、尽可能大、不遗漏） 根据卡诺圈写出化简后的逻辑函数 若有必要，运用反演律对所得结果进行变换 * 模拟电子学基础 * 卡诺图化简的例（一） * 模拟电子学基础 * 卡诺图化简的例（二） * 模拟电子学基础 * 卡诺图化简法的一些术语 蕴涵：逻辑函数的“与或”表达式中的各项 质蕴涵 ：不能再与其他蕴涵合并的蕴涵 必要质蕴涵：包含一个或多个唯一的最小项的质蕴涵 覆盖：包含了逻辑函数中所有最小项的一些蕴涵之“或” 非冗余覆盖：其中每一个蕴涵都是必不可少的覆盖 最小覆盖：包含蕴涵个数最少，每个蕴涵中包含的最小项又较少的非冗余覆盖 * 模拟电子学基础 * 最小覆盖的不惟一性 * 模拟电子学基础 * 一个逻辑函数，其最小覆盖总是由必要质蕴涵和部分质蕴涵组成，所以它的最小覆盖可能不是惟一的，即它的最简逻辑表达式可能不是惟一的。 绿色：必要质蕴涵 红色和白色：质蕴涵 最小覆盖： 绿色＋红色 或：绿色＋白色 利用卡诺图运算来进行逻辑化简 逻辑函数 → 卡诺图 逻辑函数的运算 → 卡诺图的运算 卡诺图的运算 → 对应的方格进行运算 证明（以“与”运算为例）： * 模拟电子学基础 * 证明的最后一步运用了最小项的性质 2 思考题:试证明“或”、“非”运算亦符合上述规则 利用卡诺图运算来进行逻辑化简的例 * 模拟电子学基础 * 常规化简 运算化简 * 模拟电子学基础 * 常规化简 结果为 3、4 输入端，共16输入端 运算化简 结果为 2 输入端，共14输入端 卡诺图运算的一些有关规律 0重心：0号方格（即全部变量为0的方格） 1重心：2n号方格（即全部变量为1的方格） 包含0重心但不包含1重心的质蕴涵，其表达式全部用反变量标注 包含1重心但不包含0重心的质蕴涵，其表达式全部用原变量标注 既不包含0重心也不包含1重心的质蕴涵，其表达式中一定既有原变量又有反变量 目标函数是与非形式并要求全部用原变量表达时，围绕1重心进行。其中卡诺圈圈1，阻塞圈圈0 目标函数是或非形式并要求全部用原变量表达时，围绕0重心进行，其中卡诺圈圈0，阻塞圈圈1 * 模拟电子学基础 * 不完全确定的逻辑函数的化简 不完全确定的逻辑函数： 由 n 个逻辑变量构成的逻辑函数中，有效的逻辑状态数小于2n个。那些无效的状态或者是不可能出现，或者无意义。 这些无效的状态被称为任意项，或称为无关项、约束项、禁止项，等等 * 模拟电子学基础 * 任意项的处理 任意项的值既可为1也可为0 带有任意项的逻辑函数在化简时既可以将任意项圈入卡诺圈，也可以不圈入卡诺圈 适当地将一些任意项圈