[教学研究]数字逻辑第3章.ppt

逻辑函数的表示方法 一、最小项 四、逻辑函数的最小项之和形式 四、用卡诺图化简逻辑函数 最小项与最大项之间的关系 最小项表达式 原函数的最大项表达式 反函数的最小项表达式 反函数的最大项表达式 原 函 数 展开 项号相同 项号错开 项号错开 对偶函数的 最大项表达式 项号是2n-1的补数 对偶函数的 最大项表达式 项号错开 练习：写出下列各式Y和它们的反函数、对偶函数的最小项表达式。 逻辑函数形式的变换 “与－或” “与非－与非”表达式 对Y两次求反 利用摩根定理将函数进行变换。 例：用与非门实现 “与－或” “与或非”表达式 对Y 一次求反 例：用与或非门实现 “与－或” “或非－或非”表达式 对Y两次求对偶 对Y的“或－与”表达式两次求反 。 例：用或非门实现 2、吸收法 　　如果乘积项是另外一个乘积项的因子，则这另外一个乘积项是多余的。 运用摩根定律 （１）利用公式Ａ＋ＡＢ＝Ａ，消去多余的项。 （２）利用公式Ａ＋ＡＢ＝Ａ+Ｂ，消去多余的变量。 　如果一个乘积项的反是另一个乘积项的因子，则这个因子是多余的。 ３、配项法 （１）利用公式Ａ＝Ａ（Ｂ＋Ｂ），为某一项配上其所缺的变量，以便用其它方法进行化简。 （２）利用公式Ａ＋Ａ＝Ａ，为某项配上其所能合并的项。 ４、消去冗余项法 利用冗余律ＡＢ＋ＡＣ＋ＢＣ＝ＡＢ＋ＡＣ，将冗余项ＢＣ消去。 综合法 例：化简函数 解：①先求出Y的对偶函数YD，并对其进行化简。　 ②求YD的对偶函数，得 到Y 的最简或与表达式。 1、卡诺图的构成 　　逻辑函数的图形化简法是将逻辑函数用卡诺图来表示，利用卡诺图来化简逻辑函数。 　　将逻辑函数真值表中的最小项重新排列成矩阵形式，并且使矩阵的横方向和纵方向的逻辑变量的取值按照格雷码的顺序排列，这样构成的图形就是卡诺图。 　　卡诺图的特点是任意两个相邻的最小项在图中也是相邻的。（相邻项是指两个最小项只有一个因子互为反变量，其余因子均相同，又称为逻辑相邻项） 。 每个2变量的最小项有两个最小项与它相邻 每个3变量的最小项有3个最小项与它相邻 3.5 逻辑函数的卡诺图化简法 每个4变量的最小项有4个最小项与它相邻 最左列的最小项与最右列的相应最小项也是相邻的 最上面一行的最小项与最下面一行的相应最小项也是相邻的 两个相邻最小项可以合并消去一个变量 逻辑函数化简的实质就是相邻最小项的合并 定义：各种逻辑关系中，输入与输出之间的函数关系 Y = F ( A、B、C、D‥‥‥ ) A、B、C、D为有限个输入逻辑变量； F为有限次逻辑运算（与、或、非）的组合； 变量和输出（函数）的取值只有0和1两种状态； 表示方法：真值表、逻辑函数式、逻辑图、波形图。 逻辑函数 一、逻辑函数 二、逻辑函数相等 相等的条件: 变量相同：它们的变量都是A、B、C、…； 如果对应于任何一组变量取值，Y1和Y2的值都相同。 即：真值表相同，则称Y1和Y2是相等的，记为Y1=Y2。 证明等式： 三、任何一个具体的因果关系都可以用一个逻辑函数描述。 举重比赛： 比赛规定，在一个主裁判和两个副裁判中，必须有两个或两个以上裁判（必须包括主裁判）认为动作合格，试举结果为成功，否则试举结果为失败。 确定变量: 主裁判：A 副裁判： B 和C 逻辑条件： 有两个或两个以上裁判 必须包括主裁判 认为动作合格，试举结果成功，否则试举结果失败。 逻辑函数 试举结果Y（成功与失败）是三个裁判（A，B，C）状态（认为动作合格与不合格）的函数。 一、逻辑真值表 真值表 输出对应的取值 遍历所有可能的输入变量的取值组合 输出 Y1 Y2 …. 输入变量 A B C…. 例：举重裁判电路 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 Y A B C 真值表 二、逻辑函数式 把输入与输出之间的逻辑关系写成与、或、非等运算的组合式，就得到了逻辑函数式。 根据电路功能的要求和与、或的逻辑定义,逻辑函数式为: 三、逻辑图 将逻辑函数中各变量之间的与、或、非等逻辑关系用图形符号表示出来，就可画出表示函数关系的逻辑图。 逻辑图 ≥1 B C A Y 四