ch2逻辑代数基础要点.ppt

几种常用的复合逻辑运算 与非 或非 与或非 几种常用的复合逻辑运算 异或 Y= A ? B 几种常用的复合逻辑运算 同或 Y= A ⊙B 2.3 逻辑代数的公式 2.3.1 基本公式 2.3.2 常用公式 2.3.1 基本公式 根据与、或、非的定义，得表2.3.1的布尔恒等式 公式（17）的证明（公式推演法）： 公式（17）的证明（真值表法）： 2.3.2 若干常用公式 2.4.1 代入定理 ------在任何一个包含A的逻辑等式中，若以另外一个逻辑式代入式中A的位置，则等式依然成立。 2.4.1 代入定理 应用举例： 式（17） A+BC = (A+B)(A+C) A+B(CD) = (A+B)(A+CD) = (A+B)(A+C)(A+D) 2.4.1 代入定理 应用举例： 式 （8） 2.4.2 反演定理 -------对任一逻辑式 2.4.2 反演定理 应用举例： 真值表 真值表（四输入变量） 波形图 2.5.2 各种表示方法的相互转换： 真值表 逻辑式 例：奇偶判别函数的真值表 A=0,B=1,C=1使 A′BC=1 A=1,B=0,C=1使 AB′C=1 A=1,B=1,C=0使 ABC′ =1 这三种取值的任何一种都使Y=1, 所以 Y= ? 真值表 逻辑式： 找出真值表中使 Y=1 的输入变量取值组合。 每组输入变量取值对应一个乘积项，其中取值为1的写原变量，取值为0的写反变量。 将这些变量相加即得 Y。 把输入变量取值的所有组合逐个代入逻辑式中求出Y，列表 逻辑式 逻辑图 1. 用图形符号代替逻辑式中的逻辑运算符。 逻辑式 逻辑图 1. 用图形符号代替逻辑式中的逻辑运算符。 2. 从输入到输出逐级写出每个图形符号对应的逻辑运算式。 波形图 真值表 对于一个任意的逻辑函数通常有“积之和”与“和之积”两种基本表达形式，且其表达形式并不是唯一的，如 是“积之和”的形式，又称“与—或”表达式； 而 则是“和之积”的形式，又称“或—与”表达式。 一个逻辑函数的标准形式却是唯一的，逻辑函数标准形式的唯一性给用图表方法化简函数提供了方便，并且建立了逻辑函数与真值表的对应关系。 2.5.3 逻辑函数的两种标准形式 最小项之和 最大项之积 1、最小项 m： m是乘积项 包含n个因子 n个变量均以原变量和反变量的形式在m中出现一次 最小项举例： 两变量A, B的最小项 三变量A,B,C的最小项 最小项的编号： 最小项的性质 在输入变量任一取值下，有且仅有一个最小项的值为1。 全体最小项之和为1 。 任何两个最小项之积为0 。 两个相邻的最小项之和可以合并，消去一对因子，只留下公共因子。 ------相邻：仅一个变量不同的最小项 如 逻辑函数最小项之和的形式： 例： 逻辑函数最小项之和的形式： 例： 逻辑函数最小项之和的形式： 例： 逻辑函数最小项之和的形式： 例： 逻辑函数最小项之和的形式： 例： 逻辑函数最小项之和的形式： 例： 逻辑函数最小项之和的形式： 例： 2、最大项 M是相加项； 包含n个因子。 n个变量均以原变量和反变量的形式在M中出现一次。 如：两变量A, B的最大项 最大项的性质 在输入变量任一取值下，有且仅有一个最大项的值为0； 全体最大项之积为0； 任何两个最大项之和为1； 只有一个变量不同的最大项的乘积等于各相同变量之和。 最大项的编号： 3. 将逻辑函数展开为 两种标准形式的方法 利用公式 解：（1）求最小项之和的标准形式 （2）求最大项之积的标准形式 利用真值表展开为两种标准形式 同样，我们通过例题来学习该方法的具体步骤。 例 1.17 将函数 展开为两种标准形式。 解：（1）求最小项之和的标准形式 作函数