液压与气压传动第十二章逻辑回路设计

第十二章气动逻辑回路设计

第一页，共六十四页。非时序逻辑问题的特点是：输入变量取值是随机的，没有时间顺序。系统输出只与输入变量的组合有关，与输入变量取值的先后顺序无关。设计步骤：分析问题——列真值表——写逻辑函数——化简逻辑函数——绘制逻辑原理图——绘控制回路图第二页，共六十四页。逻辑代数中的变量称为逻辑变量，用字母A、B、C、…表示，逻辑变量的取值只有两种，即逻辑0和逻辑1。逻辑函数表达式与/或式s=ab+cd或/与式s=(a+b)(c+d)逻辑函数计算只有非，加，乘逻辑函数计算目的：简化逻辑关系，在功能不变的前提下所含元件最少方法布尔代数法卡诺图法第三页，共六十四页。Y=A•B•C逻辑乘法逻辑与0•0=00•1=01•0=01•1=112.1布尔代数法设计逻辑函数布尔代数法基本运算规律Y=A+B+C逻辑加法逻辑或0+0=00+1=11+0=11+1=1逻辑非逻辑反第四页，共六十四页。逻辑代数的运算公式和规则公理、定律与常用公式公理交换律结合律分配律0-1律重叠律互补律还原律倒相律00=001=10=011=10+0=00+1=1+0=11+1=1AB=BAA+B=B+A(AB)C=A(BC)(A+B)+C=A+(B+C)A(B+C)=AB+ACA+BC=(A+B)(A+C)A0=0A+1=1A1=AA+0=AAA=0A+A=1AA=AA+A=AAB=A+BA+B=ABA=A吸收律消因律包含律A+AB=AA(A+B)=AA+AB=A+BA(A+B)=ABAB+AC+BC=AB+AC(A+B)(

A+C)(B+C)=(A+B)(A+C)第五页，共六十四页。序号公式序号公式101=0;0=110•A=0111+A=121•A=A120+A=A3A•A=A13A+A=A4A•A=014A+A=15A•B=B•A15A+B=B+A6A(BC)=(AB)C16A+(B+C)=(A+B)+C7A(B+C)=AB+AC17A+BC=(A+B)(A+C)8AB=A+B18A+B=AB9A=A布尔恒等式第六页，共六十四页。公式（17）的证明（公式推演法）：第七页，共六十四页。常用公式序号公式21A+AB=A22A+AB=A+B23AB+AB=A24A(A+B)=A25AB+AC+BC=AB+AC26(A+B)(

A+C)(B+C)=(A+B)(A+C)第八页，共六十四页。原变量的吸收：A+AB=A证明：A+AB=A(1+B)=A•1=A利用运算规则可以对逻辑式进行化简。例如：被吸收长中含短，留下短。第九页，共六十四页。反变量的吸收：证明：例如：被吸收长中含反，去掉反。第十页，共六十四页。4.证明：3.5.混合变量的吸收：证明：1吸收正负相对，余全完。第十一页，共六十四页。例如：注2.A+B=A+CB=C注2.AB=ACB=C逻辑加与代数加不同如A=B=1，C=0逻辑乘与代数乘不同如A=C=0，B=1第十二页，共六十四页。最小项举例：两变量A,B的最小项三变量A,B,C的最小项第十三页，共六十四页。最小项的编号：最小项取值对应编号ABC十进制数0000m00011m10102m20113m31004m41015m51106m61117m7第十四页，共六十四页。最小项的性质在输入变量任一取值下，有且仅有一个最小项的值为1。全体最小项之和为1。任何两个最小项之积为0。两个相邻的最小项之和可以合并，消去一对因子，只留下公共因子。------相邻：仅一个变量不同的最小项

如第十五页，共六十四页。逻辑函数最小项之和的形式：例：利用公式可将任何一个函数化为第十六页，共六十四页。最大项：M是或项。包含n个因子。n个变量均以原变量或反变量的形式在M中出现一次。如：两变量A,B的最大项对于n变量函数2n个第十七页，共六十四页。变量的各组取值ABC0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 1对应的最大项及其编号最大项编号三变量函数的最大项：第十八页，共六十四页。最大项的性质在输入变量任一取值下，有且仅有一个最大项的值为0。全体最大项之积为0。任何两个最大项之和为1。只有一个变量不同的两个最大项的乘积等于各相同变量之和。第十九页，共六十四页。逻辑函数的标准形式标准积之和(最小项）表达式式中的每一个乘积项均为最小项F(A、B、C、D)例：求函数F(A、B、C、D)的标准积之和表达式解：F(A、B、C、D)利用反演律利用互补律，补上所缺变量CABC000001010011100101110111mi01234567FMi0123456700010111例：已知函数的真值表，写出该函数的标准积之和表达式

从真值表找出F为1的对应最小项解:011331101551110661111771然后将这些项逻辑加F(A、B、C)第二十页，共六十四页。§2.6逻辑函数的公式法化简逻辑函数“最简”的标准与函数本身的类型有关。类型不同，“最简”的标准也有所不同。这里以最常用的“与或型”表达式为例来介绍“最简”的标准。一般而言，“与或型”逻辑函数需要同时满足下列两个条件，方可称为“最简”：

(1)或项最少，即表达式中“+”号最少；(2)每个与项中的变量数最少，即表达式中“·”号最少。第二十一页，共六十四页。2.并项法

利用公式例:试用并项法化简下列逻辑函数解：将两项合并为一项，消去一个变量。第二十二页，共六十四页。2.吸收项法

利用公式例1:试用吸收法化简下列逻辑函数利用吸收律和包含律等有关公式来减少与项数。解：第二十三页，共六十四页。例2:试用消项法化简下列逻辑函数解：第二十四页，共六十四页。例3:试用消因子法化简下列逻辑函数3.配项法例:试化简逻辑函数(1)利用公式解：解：第二十五页，共六十四页。例:试化简逻辑函数(2)利用公式解：第二十六页，共六十四页。4.综合法在化简逻辑函数时，要灵活运用上述方法，才能将逻辑函数化为最简。解：例1：化简逻辑函数（利用）（利用A+AB=A）（利用

）第二十七页，共六十四页。解：例2：化简逻辑函数（利用反演律）（配项法）（利用）（利用A+AB=A）（利用A+AB=A）（利用）第二十八页，共六十四页。例3：化简逻辑函数解:第二十九页，共六十四页。由上例可知，逻辑函数的化简结果不是唯一的。解法1：解法2：例4：化简逻辑函数第三十页，共六十四页。§2.7逻辑函数的卡诺图化简法实质：将逻辑函数的最小项之和的以图形的方式表示出来。以2n个小方块分别代表n变量的所有最小项，并将它们排列成矩阵，而且使几何位置相邻的两个最小项在逻辑上也是相邻的（只有一个变量不同），就得到表示n变量全部最小项的卡诺图。2.逻辑函数的卡诺图表示法第三十一页，共六十四页。（1）表示最小项的卡诺图二变量卡诺图四变量的卡诺图三变量卡诺图第三十二页，共六十四页。五变量的卡诺图第三十三页，共六十四页。（2）用卡诺图表示逻辑函数将函数表示为最小项之和的形式。在卡诺图上与这些最小项对应的位置上填入1，其余地方填0。"与或"式的卡诺图表示.直接将表达式的"与项"或"最小项"所对应的方格标以2.其它形式函数的卡诺图表示要转换成"与或"式再在卡诺图上表示。第三十四页，共六十四页。可表示为：例1：0001111001BCA11111例2:用卡诺图表示逻辑函数解：首先将Y化为最小项之和的形式第三十五页，共六十四页。0100100100101111CDAB0001111000011110第三十六页，共六十四页。例3:已知逻辑函数的卡诺图如下图所示，试写出该函数的逻辑式。解：ABC0001111001001

10011第三十七页，共六十四页。2.用卡诺图化简逻辑函数依据：具有相邻性的最小项可合并，消去不同因子。在卡诺图中，最小项的相邻性可以从图形中直观地反映出来。合并最小项的原则：两个相邻最小项可合并为一项，消去一对因子。四个排成矩形的相邻最小项可合并为一项，消去两对因子。八个相邻最小项可合并为一项，消去三对因子。第三十八页，共六十四页。0 101BA110 101BA110 101BA111二变量卡诺图的典型合并情况0001111001BCA1111BC0001111001A1111111101BCA00011110三变量卡诺图的典型合并情况第三十九页，共六十四页。0001111000011110CDAB1111110001111000011110CDAB11111110001111000011110CDAB1111111111四变量卡诺图的典型合并情况111第四十页，共六十四页。非时序逻辑系统设计举例一公共汽车门用气动控制，司机和售票员各有一个气动开关控制汽车门，要求：为安全起见，司机和售票员都发出关门信号，门才关；车到站，一人发出开门信号，门就开。若汽车门用单作用缸驱动，控制阀用手动二位三通换向阀。试设计该气控回路。设：司机和售票员的气动开关为a、b，开门信号记为“1”，关门信号为“0”，门开S记为“1”。列真值表abs000011101111第四十一页，共六十四页。写逻辑函数并化简：积和式S=ab+ab+ab=a+b绘制逻辑原理图abs绘控制回路图第四十二页，共六十四页。非时序逻辑系统设计举例二某生产自动线上要控制温度、压力、浓度三个参数，任意两个或两个以上达到上限，生产过程将发生事故，此时应自动报警。设计自动报警气控回路。设：温度、压力、浓度为三个输入的逻辑变量a、b、c。达到上限记“1”，低于下限记“0”，报警记s=1，不报警记s=0。列真值表abcs00001000010000101101101101111111

第四十三页，共六十四页。写逻辑函数并化简：

s=abc+abc+abc+abc

=ab+（a+b）c

a+b）c画报警回路逻辑原理图和气路图第四十四页，共六十四页。.若两个最小项相邻，则可合并为一项并消去一个因子，合并后的结果中只剩下公共因子。0001111000011110CDAB00110000000000000001111000011110CDAB0010000000001000第四十五页，共六十四页。0001111000011110CDAB00001000000001000001111000011110CDAB0000001001000000.若四个最小项相邻并排列成一个矩形组，则可合并为一项并消去二对因子。合并后的结果中只包含公共因子。0001111000011110CDAB00110000000100100001111000011110CDAB00000011110000

00第四十六页，共六十四页。0001111000011110CDAB00000100010010010001111000011110CDAB00001100000001010001111000011110CDAB00000010011010000001111000011110CDAB1000100000001100第四十七页，共六十四页。

.若八个最小项相邻并排成一个矩形组，则可合并为一项并消去三对因子。合并后的结果中只包含公共因子。0001111000011110CDAB00100011111110000001111000011110CDAB11110001100100100001111000011110CDAB11011100000001110001111000011110CDAB0000111001101101第四十八页，共六十四页。3.用卡诺图合并最小项的原则（画圈的原则）尽量画大圈，但每个圈内只能含有2n（n=0,1,2,3……）个相邻项。要特别注意对边相邻性和四角相邻性。圈的个数尽量少。卡诺图中所有取值为1的方格均要被圈过，即不能漏下取值为1的最小项。在新画的包围圈中至少要含有1个末被圈过的1方格，否则该包围圈是多余的。第四十九页，共六十四页。4.用卡诺图化简逻辑函数的步骤：画出逻辑函数的卡诺图。合并相邻的最小项，即根据前述原则画圈。写出化简后的表达式。每一个圈写一个最简与项，规则是，取值为l的变量用原变量表示，取值为0的变量用反变量表示，将这些变量相与。然后将所有与项进行逻辑加，即得最简与或表达式。第五十页，共六十四页。例：用卡诺图化简逻辑函数

F(A,B,C,D)=m(0,3,5,6,7,10,11,13,15)解：0001111000011110CDAB0111101110100010第五十一页，共六十四页。例：用卡诺图化简逻辑函数

F(A,B,C,D)=m(2,3,8,9,10,12,13)解：0001111000011110CDAB11111110001111000011110CDAB1111111或第五十二页，共六十四页。例：用卡诺图把逻辑函数

F(A,B,C,D)=M(3,4,6,7,11,12,13,14,15)化简成最简"或与"表达式。第五十三页，共六十四页。0001111000011110CDAB1000101000001111第五十四页，共六十四页。1)、约束项例如，有三个逻辑变量A、B、C，它们分别代表一台电动机的正转、反转和停止的命令，A=1表示正转，B=1表示反转，C=1表示停止。ABC的取值只可能是001、010、100当中的某一种，而不能是000、011、101、110、111中的任何一种。因此，A、B、C是一组具有约束的变量。可写成：约束项：恒等于0的最小项§2.8具有无关项的逻辑函数及其化简第五十五页，共六十四页。2)、任意项有时还会遇到另外一种情况，就是在输入变量的某些取值下函数值是1还是0皆可，并不影响电路的功能。

任意项：在某些变量取值下，其值等于1或等于0的那些最小项称为任意项。3)、无关项约束项和任意项统称为无关项。第五十六页，共六十四页。讨论：2.在存在约束项的情况下，由于约束项的值始终等于0，所以既可以将约束项写进逻辑函数式中，也可以将约束项从函数式中删掉，而不影响函数值。同样即可以把任意项写入函数式中，也可以不写进去，因为输入变量的取值使这些任意项为1时，函数值是1还是0无所谓。2.在用卡诺图表示逻辑函数时，首先将函数化为最小项之和的形式，然后在卡诺图中这些最小项对应的位置上填入1。既然可以认为无关项包含于函数式中，也可以认为不包含在函数式中，那么在卡诺图中对应的位置上就可以填入1，也可以填入0。为此，在卡诺图中用×表示无关项。在化简逻辑函数时既可以认为它是1，也可以认为它是0。第五十七页，共六十四页。4)、无关项在化简逻辑函数中的应用例:化简具有约束的逻辑函数给定约束条件为：解：采用公式化简法第五十八页，共六十四页。例:化简具有约束的逻辑函数给定约束条件为：解：采用卡诺图化简法ABCD0001111000011110×0×1××0×01×00×10第五十九页，共六十四页。例:试化简逻辑函数已知约束条件为解：卡诺图化简法ABCD0001111000011110××01××××10011000第六十页，共六十四页。说明：采用画1的包围圈化简，结果通常为与或表示式。若