阎石数字电子技术基础第2章山东大学.

第二章逻辑代数基础2.1概述1、二值逻辑不同的数码不仅可以表示数量的不同大小，而且还能用来表示不同的事物。在数字逻辑电路中，用1位二进制数码的0和1表示一个事物的两种不同逻辑状态。例如:可以用1和0分别表示一件事情的是和非、真和伪、有和无、好和坏，或者表示电路的通和断、电灯的亮和暗、门的开和关等。这种只有两种对立逻辑状态的逻辑关系称为二值逻辑。二、逻辑运算所谓“逻辑”，在这里是指事物间的因果关系。当两个二进制数码表示不同的逻辑状态时，它们之间可以按照指定的某种因果关系进行推理运算。这种运算称为逻辑运算。三、布尔代数1849年英国数学家乔治·布尔（GeorgeBoole）首先提出了进行逻辑运算的数学方法——布尔代数。后来，由于布尔代数被广泛用于开关电路和数字逻辑电路的分析与设计中，所以也将布尔代数称为开关代数或逻辑代数。逻辑代数中也用字母表示变量，这种变量称为逻辑变量。逻辑运算表示的是逻辑变量以及常量之间逻辑状态的推理运算，而不是数量之间的运算。2.2逻辑代数中的三种基本运算条件：开关闭合结果：灯亮1、逻辑与（AND）定义：只有决定事物结果的全部条件同时具备时，结果才发生。这种因果关系叫逻辑与，或叫逻辑相乘。ABY断开断开不亮断开闭合不亮闭合断开不亮闭合闭合灯亮与逻辑功能表YABE1表示开关闭合，灯亮。0表示开关断开，灯不亮。真值表ABY000010100111与逻辑真值表与逻辑表达式Y=A·BABY断开断开不亮断开闭合不亮闭合断开不亮闭合闭合灯亮与逻辑功能表条件：开关闭合结果：灯亮2、逻辑或（OR）定义：决定事物结果的诸条件中只要有任何一个条件满足，结果就会发生，这种逻辑关系叫逻辑或，也叫逻辑相加。ABY断开断开不亮断开闭合灯亮闭合断开灯亮闭合闭合灯亮或逻辑功能表BYAE真值表1表示开关闭合，灯亮。0表示开关断开，灯不亮。ABY000011101111或逻辑真值表或逻辑表达式Y=A+BABY断开断开不亮断开闭合灯亮闭合断开灯亮闭合闭合灯亮或逻辑功能表条件：开关闭合结果：灯亮3、逻辑非（NOT）定义：只要条件具备了，结果就不会发生；而条件不具备时，结果一定发生，这种逻辑关系叫逻辑非，也叫逻辑求反。AY断开灯亮闭合不亮非逻辑功能表真值表1表示开关闭合，灯亮。0表示开关断开，灯不亮。AY0110非逻辑真值表非逻辑表达式Y=A'AY断开灯亮闭合不亮非逻辑功能表图形符号几种常用的复合逻辑运算1.与非(NAND)ABY001011101110与非逻辑真值表与非逻辑表达式：()YAB图形符号：ABY001010100110或非逻辑真值表或非逻辑表达式：()YAB图形符号：2.或非(NOR)3.与或非(AND-NOR)()YABCD图形符号：与或非逻辑表达式：与或非逻辑真值表4.异或(XOR)两输入变量A、B不同时，输出Y为1。而A、B相同时，输出Y为0。ABY000011101110异或逻辑真值表YABABAB异或逻辑表达式：图形符号：5.同或(NXOR)两输入变量A、B相同时，输出Y为1。而A、B不同时，输出Y为0。ABY001010100111同或逻辑真值表YABAB或Y=A⊙B同或逻辑表达式：图形符号：同或、异或互为反逻辑：A⊙B=(AB)′AB=(A⊙B)′思考：A0=A1=AA′=AA=A⊙0=A⊙1=A⊙A′=A⊙A=N位二进制中1的个数为奇数时，每位异或的结果为？N位二进制中1的个数为偶数时，每位异或的结果为？2.3逻辑代数的基本公式和常用公式2.3.1基本公式2.3.2常用公式2.3.1基本公式10011110011110AA00AAA1AAA1AAAA011AAAA101ABBACBACBACABACBAABBACBACBA)()(CABACBA结合律交换律分配律()ABAB()ABAB()AA德·摩根定理(反演律)还原律序号公式序号公式101′=0;0′=110A=0111+A=121A=A120+A=A3AA=A13A+A=A4AA′=014A+A′=15AB=BA15A+B=B+A6A(BC)=(AB)C16A+(B+C)=(A+B)+C7A(B+C)=AB+AC17A+BC=(A+B)(A+C)8(AB)′=A′+B′18(A+B)′=A′B′9(A′)′=A证明方法：推演真值表公式（17）的证明（公式推演法）：左右BCABC)BC1(ABCABACA)CA)(BA(公式（17）的证明（真值表法）：ABCBCA+BCA+BA+C（A+B）(A+C)00000000001000100100010001111111100011111010111111001111111111112.3.2若干常用公式序号公式21A+AB=A22A+A′B=A+B23AB+AB′=A24A(A+B)=A25AB+A′C+BC=AB+A′CAB＋A′C+BCD=AB+A′C26A(AB)′=AB′;A′(AB)′=A′2.4逻辑代数的基本定理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）CBABCACBABCBBABA)()()(代入以2.4逻辑代数的基本定理2.4.2反演定理对任一逻辑式Y，若将其中所有的乘换成加，加换成乘，0换成1，1换成0，原变量换成反变量，反变量换成原变量，则得到的结果就是Y的反。注意：Δ遵守“括号、乘、加”的运算优先次序。（即保持运算顺序与原式相同）Δ不属于单个变量上的反号应保留不变。若()YABBCD则()YABBCD若(())YABCDC则((()))YABCDC2.4.3对偶定理对偶式：对于任何一个逻辑式Y，若将其中的“·”换成“+”，“+”换成“·”，0换成1，1换成0，则得到一个新的逻辑式YD，则YD叫做Y的对偶式。CBAY若DYABC则若()YABCDD(()())YABCD则对偶定理：若两逻辑式相等，则它们的对偶式也相等。ACAB)CB(A已知根据对偶定理，则)CA)(BA(BCA2.5逻辑函数及其表示方法2.5.1逻辑函数若以逻辑变量为输入，运算结果为输出，则输入变量值确定以后，输出的取值也随之而定。输入/输出之间是一种函数关系。表示为：Y=F(A,B,C,······)任何一个具体的因果关系都可以用一个逻辑函数描述。注：在二值逻辑中，输入/输出都只有两种取值0/1。[例]:三人表决电路：三人A、B、C当中有两人或两人以上同意时，表决结果Y为通过，否则表决结果Y为没通过。表决结果Y的状态（通过与没通过）是三人A、B、C状态（同意与不同意）的函数。),,(CBAFY逻辑函数为：2.5.2逻辑函数的表示方法真值表逻辑式逻辑图波形图卡诺图计算机软件中的描述方式各种表示方法之间可以相互转换1.逻辑真值表将输入变量所有的取值下对应的输出值找出来列成表格，即可得到逻辑真值表。输入变量ABC····输出Y1Y2····遍历所有可能的输入变量的取值组合输出对应的取值以三人表决电路为例，输入变量A、B、C为1表示同意，0表示不同意，输出（函数）Y为1表示通过，0表示没通过。ABCY00000101001110010111011100010111三人表决电路真值表2.逻辑函数式把输入与输出之间的逻辑关系写成与、或、非等运算的组合式，就得到了逻辑函数式。根据电路功能的要求和与、或的逻辑定义，三人表决电路的逻辑函数式为：BCACABY00010111000001010011100101110111YABC三人表决电路真值表3.逻辑图BCACABYABYACBC将逻辑函数中各变量之间的与、或、非等逻辑关系，用图形符号表示出来，就可画出表示函数关系的逻辑图。将输入变量所有取值可能与对应输出按时间顺序排列起来，就得到表示该逻辑函数的波形图。4.波形图举重裁判电路的波形图卡诺图EDA中的描述方式HDL(HardwareDescriptionLanguage)VHDL(VeryHighSpeedIntegratedCircuit…)VerilogHDL5.各种表示方法间的互相转换从真值表写出逻辑函数式一般方法：（1）找出真值表中使逻辑函数为1的那些输入变量取值的组合。（2）每组输入变量取值的组合对应一个乘积项，其中取值为1的写入原变量，取值为0的写入反变量。（3）将这些乘积项相加，即得输出的逻辑函数式。ABCY00000101001110010111011100010110ABCABCABC[例]：已知一个奇偶判断函数的真值表如图所示，试写出它的逻辑函数式。ABC'AB'CA'BCY这三种取值的任何一种都使Y=1,所以Y=?从逻辑函数式列出真值表将输入变量取值的所有组合状态逐一代入逻辑式,求出函数值，列成表。YABCABC[例]：已知逻辑函数表达式：求它对应的真值表。ABCY00000101001110010111011111110011ABCABC解：从逻辑函数式画出逻辑图用图形符号代替逻辑函数式中的运算符号。[例]：已知逻辑函数式为，画出对应的逻辑图。C'BC'A)'C'BA(YC'B'BC'A)'C'BA(从逻辑图写出逻辑函数式从输入端到输出端逐级写出每个图形符号对应的逻辑式，即可得到对应的逻辑式。)(BAB)(BAA))'BA()BA((BABABA)BA)(BA())'BA()BA((ABCY00000101001110010111011101100101从波形图写出真值表从真值表画出波形图ABCY00000101001110010111011100000111真值表逻辑式逻辑图2.5.3逻辑函数的两种标准形式最小项之和最大项之积一、最小项和最大项1.最小项定义：在n变量逻辑函数中，若m为包含n个因子的乘积项，而且这几个变量均以原变量或反变量的形式在m中出现一次，则称m为该组变量的最小项。最小项举例：两变量A,B的最小项三变量A,B,C的最小项）4个（22ABBABABA,,,）8个（32ABCCABCBACBABCACBACBACBA,,,,,,n变量的最小项应为2n个。输入变量的每一组取值，都使一个对应的最小项的值等于1。为方便，可把每个最小项用一个号码表示，这个号码为使其为1的取值对应的十进制数。如A=1、B=0、C=1时，AB’C=1。因此本最小项的号码为5，表示为m5m0m1m2m3m4m5m6m701234567000001010011100101110111ABC编号对应的十进制数使最小项为1的变量取值最小项ABCABCABCABCABCABCABCABC三变量最小项的编号表最小项的性质在输入变量任一取值下，有且仅有一个最小项的值为1。全体最小项之和为1。任何两个最小项之积为0。两个相邻的最小项之和可以合并，消去一对因子，只留下公共因子。------相邻：仅一个变量不同的最小项如BA)CC(BABCACBABCACBA与2.最大项n变量的最大项应为2n个。输入变量的每一组取值，都使一个对应的最大项的值等于0。使某个最大项为0的这组取值对应的十进制数作为该最大项的编号。定义：在n变量逻辑函数中，若M为n个变量之和，而且这几个变量均以原变量或反变量的形式