[工学]数字第二章 逻辑代数基础.pptVIP

几个基本概念 与（AND） 或（OR） 非（NOT） 与 1、定义：条件同时具备，结果发生 ⒊ 逻辑表达式 或 1、定义：条件之一具备，结果发生 非 1、定义：条件不具备，结果发生 Y= =A⊙B 2.3.1 基本公式 表2.3.1的布尔恒等式 证明方法 2.3.2 若干常用公式 本节小结 ⑴N变量最小项卡诺图二变量最小项卡诺图（A，B） 表示最小项的卡诺图 五变量最小项卡诺图 几点说明： 三变量最小项卡诺图逻辑相邻举例 五变量卡诺图逻辑相邻举例 ⑵函数卡诺图 用卡诺图表示逻辑函数 由真值表填卡诺图 由一般与或式 填卡诺图示例:三变量 示例:四变量 ⑶函数的卡诺图化简 无效圈示例 画圈原则： 无关最小项举例 本章要求 熟练掌握逻辑代数的基本公式和规则。 熟练掌握逻辑函数的公式法化简和卡诺图化简方法。 作业： 2.14(3) 2.15(1) 2.16(b) 2.17(1) 2.22(1) 2.23(2) 用卡诺图法对逻辑函数进行化简时，首先要确定函数与卡诺图的关系，将函数用卡诺图的形式表现出来。 下页 返回 上页 方法： 把逻辑函数化为最小项之和的形式。 在卡诺图上与这些最小项对应的位置添1 。 在其余的位置上添入0。 任何一个逻辑函数， 都等于它的卡诺图中添入 1 的那些最小项之和。 用卡诺图表示逻辑函数 　（1）逻辑函数是以真值表或者以最小项表达式给出：在卡诺图上那些与给定逻辑函数的最小项相对应的方格内填入1，其余的方格内填入0。 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 CD AB 00 01 11 10 00 01 11 10 m1 m4 m6 m3 m7 m14 m15 m11 A B C F 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 0 1 1 1 0 mo m1 m2 m3 m6 m7 m4 m5 0 1 00 01 11 10 C AB 0 1 00 01 11 10 C AB 对应最小项填1 其余补0 0 1 1 0 1 1 0 0 00 01 11 10 01 BC A mo m1 m3 m2 m4 m5 m7 m6 00 01 11 10 01 BC A 1 1 1 1 0 0 0 0 　（2）逻辑函数以一般的逻辑表达式给出：先将函数变换为与或表达式（不必变换为最小项之和的形式），然后在卡诺图上与每一个乘积项所包含的那些最小项（该乘积项就是这些最小项的公因子）相对应的方格内填入1，其余的方格内填入0。 变换为与或表达式 Ａ’Ｄ’的公因子 Ｂ’Ｃ的公因子 　　说明：如果求得了函数Ｙ的反函数Ｙ，则对Ｙ中所包含的各个最小项，在卡诺图相应方格内填入0，其余方格内填入1。 1 1 1 1 00 01 11 10 01 BC A 00 01 11 10 01 BC A 1 1 1 1 00 01 11 10 0001 11 10 CD AB 1 1 1 1 1 1 1 1 1 1 1 00 01 11 10 0001 11 10 CD AB 1 1 1 1 1 1 1 1 1 步骤： 1）填写函数卡诺图； 2）合并最小项，对邻项方格画卡诺圈（含2n方格）； 3）消去互补变量，直接写出最简与或式。 下页 返回 上页 合并最小项的规则： 若两个最小项相邻， 则可合并为一项并消去一个因子。 2. 若四个最小项相邻并排列成一个矩形组， 则可合并为一项并消去两个因子。 3. 若八个最小项相邻并排列成一个矩形组， 则可合并为一项并消去三个因子。 0 1 01 A B 1 1 （1）任何两个（21个）标1的相邻最小项排列成矩形组，可以合并为一项，并消去一个变量（消去互为反变量的因子，保留公因子）。 合并最小项的规则 　（2）任何4个（22个）标1的相邻最小项排列成矩形组，可以合并为一项，并消去2个变量。 1 00 01 11 10 0001 11 10 CD AB 1 1 1 1 1 1 1 00 01 11 10 0001 11 10 CD AB 1 1