数字电路与逻辑设计2逻辑代数基础20140521要点.ppt

§2.1 逻辑代数的基本概念 逻辑代数=布尔代数=开关代数 解决逻辑问题的理论方法，与布尔、香农有关 逻辑代数：有一个逻辑变量集K，常量0和1以及“或”、“与”、“非”三种基本运算构成。满足以下公理： 交换律 结合律 分配律 0-1律 互补律 公理1 交换律(Commutative Properties) 公理2 结合律(Associative Properties) 公理3 分配律(Distributive Properties) 公理4 0－1律（0－1 Property） 公理5 互补律(Complement Property) 一、逻辑变量及基本逻辑运算 二、逻辑函数及逻辑函数间的相等 三、逻辑函数的表示方法 一、 基本逻辑运算 与运算（AND）、或运算（OR）、非运算(NOT) 学习内容包括定义、逻辑功能描述、开关电路示意图、条件与结果关系表、关系表达式、运算规则、工作波形图等等 1. “与”逻辑关系 2. “或”逻辑关系 3. “非”逻辑关系 二、 逻辑函数及逻辑函数间的相等 1．逻辑函数(logic function)的定义 逻辑函数具有的特点 1）逻辑变量和逻辑函数的取值只有0和1两种可能； 2）函数和变量之间的关系是由“或”、“与”、“非”3种基本运算决定的。 逻辑函数的定义：设某一逻辑电路的输入逻辑变量为A1,A2,…,An，输出逻辑变量为F，如果当A1,A2,…An的值确定后，F的值就唯一地被确定下来，则F被称为A1,A2,…,An的逻辑函数，记为 F=f(A1,A2,…,An)。 广义的逻辑电路图: 2．逻辑函数的相等 (equivalence) 两个逻辑函数相等的定义： 设有两个逻辑函数 F1=f1(A1,A2,…,An), F2=f2(A1,A2,…,An),若对应于逻辑变量A1,A2,…,An的任何一组取值，F1和F2的值都相同，则称函数F1和F2相等。记作F1＝F2。 判断两个逻辑函数是否相等的方法有多种： 1）真值表； 2）公理、定理和规则进行证明； 3）卡诺图； 4）逻辑图； 5）工作波形图；等等 三、逻辑函数的表示方法 1 ．逻辑表达式( logic expression) 2．逻辑图(Logic diagram) 3．逻辑真值表(Truth table) 4．卡诺图(Karnaugh Map) 5．工作波形图（Timing diagram) 1 ．逻辑表达式( logic expression) 逻辑表达式是由逻辑变量和“或”、“与”、“非”三种运算符所构成的式子。 逻辑表达式书写时要注意优先级问题，从高到低分别是“非”、“与”、 “或”。 书写规则 ①进行“非”运算可不加括号； ②“与”运算符一般可省略，如A?B可写成AB； ③在一个表达式中，如果既有“与”运算又有“或”运算，则按先“与”后“或”的规则进行运算，而可省去括号； ④由于“与”运算和“或”运算均满足结合律，因此(A+B)+C或者A+(B+C)可用A+B+C代替；(AB)C或者A(BC)可用ABC代替。 3、逻辑图(Logic diagram) 3、逻辑图(Logic diagram) 4、卡诺图(Karnaugh Map) 5．工作波形图（Timing diagram) 表示逻辑函数的5种不同描述方法各有特点 ，适合于不同场合。 针对某个具体问题而言，它们仅仅是同一问题的不同描述形式 ，它们之间可以很方便地相互转换。 2．2?? 逻辑代数的基本定理和规则 一、 基本定理 二、 逻辑代数的三个规则 三、 复合逻辑 公式的证明方法： （2）用真值表证明，即检验等式两边函数的真 值表是否一致。 1、代入规则 在任何一个包含变量A的逻辑等式中，若以另外一个逻辑式代替式中所有的A，则等式仍然成立。 三、复合逻辑 1、与非 2、或非 3、与或非 4、异或 5、同或 1．“与非”(NAND)逻辑 定义：与非逻辑是由与、非两种逻辑复合形成 逻辑表达式：F=A·B·C···· 逻辑功能描述:变量ABC···中只要一个为0，函数F为1，变量ABC···都为1，F才为0。 逻辑门：与非门 真值表 波形图 与非逻辑可实现与、或、非逻辑。 与非门为通用逻辑门。 2．“或非”(NOR)逻辑 定义：或非逻辑是由或、非两种逻辑复合形成 逻辑表达式：F=A+B+C+··· 逻辑功能描述:变量ABC···中只要一个为1，函数F为0，变量ABC···都为0，F才为1。 逻辑门：或非门 真值表 波形图 3．“与或非”(AND-OR-INVERT)逻辑 定义：与或非逻辑是由与、或、非两种逻辑复合形成 逻辑表达式：F=AB+CD+