第三节 逻辑代数基础.pptVIP

一、三种基本逻辑 二、复合逻辑 三、逻辑符号对照 3.2　逻辑代数的基本定律和公式 一、逻辑代数的基本定律 一、真值表 （2） 最大项的基本性质 ② 不同的最大项，使其值为 0 的那组变量取值也不同。 ③ 对于变量的任一组取值，任意两个最大项的相加为 1。 ④ 对于变量的任一组取值，全体最大项的积为 0。 ① 对任意一最大项，只有一组变量取值使它的值为 0， 而其余各种变量取值均使其值为 1。 （3） 最小项与最大项的关系 变量数相同时，下标号相同的最大项和最小项互补，即 例如 (4) 逻辑函数的标准或与式 　　每一个或项都是最大项的或与逻辑式称为标准或与式，又称最大项表达式。 　　标准或与式中输入变量的排列顺序非常重要，排列顺序一旦确定，就不能任意改变，否则会造成表达式错误。排列顺序一般采用英文字母的自然排列顺序，不能省略。 简写形式 一般形式 真值表 标准 或与式 例如 ABC 0 0 0 0 0 1 1 1 1 0 1 1 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 Y C B A 1 1 1 0 0 0 0 1 1 1 反函数逻辑式为 (1)找出函数值为 0 的项。 (2)将这些项中输入变量取值为 1 的用反变量代替， 取值为 0 的用原变量代替，则得到一系列或项。 (3)将这些或项相乘即得逻辑式 Y 。 *(4)也可先直接圈0，按最小项规则写出与项并相加，得Y ，再用摩根定律取反即得。 则逻辑式 [例] 已知逻辑函数 Y 的真值表如下，试给出标准与 - 或式和标准或 - 与式。 A B C Y 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 0 m0 m2 m4 m6 （1）找出真值表中 Y = 1 对应的最小项， M1 M3 M5 M7 解： （2）找出真值表中 Y = 0 对的 最大项，则标准或 - 与式为 则标准与 - 或式为 同一逻辑函数，在标准与 - 或式中已有的最小项编号，则在标准或 - 与式中的最大项序号恰好是没有的最小项编号。 例2：将逻辑函数Y=(A+C)(/A+B)变换为最大项表达式 另解：直接分配律展开，再进行配项，将其变换为最小项表达式，该逻辑函数的最大项表达式可根据所求出得最小项表达式中缺少的编号直接写出。 例1：将逻辑函数 变换为最小项表达式和最大项表达式 · · · ？ ？ 　　同一个逻辑函数除了用标准与或式和标准或与式描述外，还可以用其它类型的逻辑式描述(统称非标准式)。 3．逻辑函数的非标准式 常见的非标准式有与或式、或与式、与非与非式、或非或非式、与或非式。下面是表示示例和各表达式之间的转换 ： 逻辑式有多种形式，采用何种形式视需要而定。各种形式间可以相互变换。 例如 与或表达式 或与表达式 与非 - 与非表达式 或非 - 或非表达式 与或非表达式 转换方法举例 与或式 与非式 用还原律 用摩根定律 或与式 或非式 与或非式 用还原律 用摩根定律 用摩根定律 如何将逻辑式转化为 标准与-或式呢 ？ [例] 将逻辑式 化为标准与 - 或式。 (3) 利用A+A=A，合并掉相同的最小项。 0000 m0 0001 m1 1100 m12 1101 m13 1111 m15 = m0 + m1 + m12 + m13 + m15 =∑m (0,1,12,13,15) 解：(1) 利用摩根定律和分配律把逻辑函数式展开为与 - 或式。 AB + (2) 利用配项法化为标准与 - 或式。 　　在无约束条件的逻辑函数的表示式基础上，增加约束条件逻辑表示式，就是带约束条件的逻辑函数的表示式。带约束条件的逻辑函数表示式也分标准式和非标准式两大类。 4．具有约束条件的逻辑函数表示式 （1）标准式 　　约束条件就是某些变量取值组合不可能出现，或者某些变量取值组合对应的函数值不唯一，这些取值组合对应的最小项称为约束项，亦称无关项。为了使用方便，需要将约束项进行编号，常用di 表示。约束项下标i的编号规则类似最小项下标i的编号规则。 　【例3-2】某四变量逻辑函数，其中变量A、B、C、D为表示1位十进制数X的8421BCD码，当4≤X≤8时，逻辑函数Y为1；否