逻辑代数及其应用讲述.ppt

第2章 逻辑代数及其应用 2.1 逻辑代数的基本公式和导出公式 基本概念 逻辑：事物的因果关系 逻辑运算的数学基础：逻辑代数 在二值逻辑中的变量取值： 0/1 2.1.1 逻辑代数的三种基本运算 与（AND） 或（OR） 非（NOT） 与 条件同时具备， 结果发生 Y=A AND B = AB=A·B=AB 或 条件之一具备， 结果发生 Y= A OR B = A+B 非 条件不具备， 结果发生 几种常用的复合逻辑运算 与非 或非 与或非 几种常用的复合逻辑运算 异或：相同为0，不同为1 Y= A ? B =AB+AB 几种常用的复合逻辑运算 同或: 相同为1，不同为0 Y= A ⊙B=AB+AB 2.1.2 基本公式和若干导出公式 基本公式 导出公式 基本公式 根据与、或、非的定义，得表2.1.4的逻辑代数的基本公式 公式（8a）的证明（真值表法）： 常用的导出公式 代入定理 应用举例： 式（8a） (AB)′= A′+B′ (A (BC)) ′= A′+(BC) ′ = A′+B′+C ′ 2.2.2 反演定理 例2.4.3 已知Y=A(B+C )+CD ，求Y 解：由反演定理 2.2.3.对偶规则 对偶规则：如果两个函数Y和G相等，则其对偶式YD和GD也必然相等，Vice versa。 例 试利用对偶规则证明吸收律A＋A?B＝A＋B 式子成立 逻辑函数 Y=F(A,B,C,······) ------当表示“原因”的变量（也称为输入逻辑变量）取值确定以后，表示“结果”的变量（也称为输出逻辑变量）取值便随之确定。因而输出逻辑变量与输入逻辑变量之间是一种函数关系。 变量、函数取值只能是“0”或 是“1”，二值函数。 逻辑函数的表示方法 真值表 逻辑式 逻辑图 波形图 卡诺图 硬件描述语言 各种表示方法之间可以相互转换 2.3.1 用真值表描述逻辑函数 2.3.2 用逻辑函数式描述逻辑函数 将逻辑函数的输出写成输入逻辑变量的代数运算式 例如： 最小项 m： m是乘积项 包含n个输入变量 n个输入变量都以原变量或反变量的形式在m中出现一次且仅一次，则称m 是n变量的最小项。 最小项举例： 两变量A, B的最小项 三变量A, B, C的最小项 最小项的编号： 2. 逻辑函数式的最小项之和形式： 例： 2. 逻辑函数式的最小项之和形式： 例： 2. 逻辑函数式的最小项之和形式： 例： 2. 逻辑函数式的最小项之和形式： 例： 2. 逻辑函数最小项之和的形式： 例： 3.最大项 二变量、三变量的最大项参见下面2个表 b. 最大项的性质 4、 最小项与最大项的关系 上式或写成 2.3.3 用逻辑图描述逻辑函数 用逻辑图形符号连接起来表示逻辑函数，得到的连接图 称为逻辑图。 2.3.5 用卡诺图描述逻辑函数 1. 最小项的卡诺图表示法 实质：将逻辑函数式的最小项之和形式以图形的方式表示出来。 以2n个小方块分别代表 n 变量的所有最小项，并将它们排列成矩阵，而且使几何位置相邻的两个最小项在逻辑上也是相邻的（即只有一个变量不同），就得到了表示n变量全部最小项的卡诺图。 表示最小项的卡诺图 二变量卡诺图 三变量的卡诺图 表示最小项的卡诺图 二变量卡诺图 三变量的卡诺图 表示最小项的卡诺图 二变量卡诺图 三变量的卡诺图 五变量的卡诺图 2. 用卡诺图表示逻辑函数 2. 用卡诺图表示逻辑函数 2. 用卡诺图表示逻辑函数 2.3.6 用硬件描述语言描述逻辑函数 EDA中的描述方式 HDL (Hardware Description Language) VHDL (Very High Speed Integrated Circuit …) Verilog HDL EDIF