第二章+逻辑代数与逻辑函数.ppt

第二章 布尔代数及其逻辑实现 2.1 布尔代数的基本概念 2.2 布尔代数的公式、定理及重要规则 2.3 布尔函数表达式的形式与转换方法 2.4 布尔函数的代数化简法 2.5 布尔函数的卡诺图化简法 2.6 具有无关项的布尔函数及其化简 2.7 布尔函数的实现 2.8 多输出布尔函数的化简与实现 2.1 布尔代数的基本概念 2.1.1 与逻辑（与运算、逻辑乘） 2.1.2 或逻辑（或运算、逻辑加） 2.1.3 非逻辑（非运算、逻辑反） 三种基本逻辑运算的运算顺序 “同或”运算实例说明 2.1.5 布尔（逻辑）函数 在实际问题中，通常总是以这些基本逻辑运算构成各种复杂的逻辑关系式。 概念：在数字系统的逻辑电路中，如果某一输出量与一组输入量存在一定的对应关系，当输入变量取任意一组确定的值，输出变量也就唯一的被确定，则这种关系为逻辑函数关系． 设输入变量为A1、A2，…An， 输出变量为F，则描述输出变量和输入变量的逻辑函数可表示为 F=f(A1,A2,…An) 逻辑函数自身的特点 逻辑变量和逻辑函数的取值只有0和1两种可能。 逻辑函数和逻辑变量之间的关系是由“或”、“与”、“非”三种基本逻辑运算决定的。 逻辑代数的函数和普通代数的函数一样，存在相等的问题。设有两个逻辑函数： F1=f1(A1,A2，…，An) F2=f2(A1,A2, …, An) 若对应于逻辑变量A1, A2,…,An的任何一组取值， F1和F2的值都相同，则称函数F1和F2相等。记作F1=F2。 2.2.2 基本定理 (二) 对偶法则 （三）反演法则（香农定理） 反演法则的目的是能够较快的写出函数的反函数（补函数），将原式按下述过程即可求得其反函数。 基本公式应用 ① 等式的证明 ② 逻辑函数不同形式的转换 由于与或形式物理意义明确，与真值表相对应，且对应的基本公式较为熟悉，故在一般情况下，函数均以“与或”形式给出。 三、代数化简法 通过以上各例可看出代数法化简存在如下问题： 化简规则 2. 四个相邻项可合并为一项，消去二个取值不同的变量，保留相同的变量，如图（b）所示。 3. 八个相邻项可合并为一项，消去三个取值不同的变量，保留相同变量，如图（c）所示。 2. 卡诺图化简法的步骤 用规定的复合门电路实现布尔函数 最大项的性质 性质1 任取一组值,仅有一个最大项的值为0。 性质2 任意两个最大项相或,结果1。 性质3 全部最大项相与,结果为0 。即： 性质4 只有一个变量不同的两个最大项的乘积等于各 相同变量之和。 (A+B+C)?(A+B+C)=A+B 用最大项表达逻辑函数——“标准和之积” 例： ?互补律，0-1律 分配律 重叠律 A + BC = (A + B) (A + C) 一个函数可以用最大项之积的形式表示，把这种形式称为函数的“标准和之积”形式。 例： 1 0 0 0 1 1 1 1 F 1 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 A B C 使F=1的最小项构成函数的“标准积之和”形式 使F=0的最大项构成函数的“标准和之积”形式 最小项与最大项的关系 根据摩根定律 所以，只要能写出函数的最小项之和的形式，根据上述方法就可得到最大项之积的形式 结论： 同一函数既可以表示成“标准积之和”的形式，也可以表示成“标准和之积”的形式。 同一函数的最大项与最小项互斥的，即如果真值表中的某一行作为函数的最小项，那么它就不可能是同一函数的最大项。 变量取 0 的代以反变量 取 1 的代以原变量 A B 二 变 量 卡 诺 图 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 1 A B 0 1 0 1 m0 m1 m2 m3 0 1 2 3 A B A A B B AB AB AB AB 三 变 量 卡 诺 图 A BC 0 1 00 01 11 10 m6 m7 m4 m2 m3 000 m0 m5 001 m1 6 7 5