第二章 联锁逻辑图入门一、概述：联锁逻辑图是以逻辑代数为基础，以图形化的结构表达出各个因果逻辑关系的图。大致分为以下三部分：1. “原因”部分（输入部分）：由工艺信号、操作按钮、就地开关与高低报警等具有逻辑特性的物理量。2. 逻辑运算部分（功能块部分）：将各输入条件根据工艺的的安全性、时序性、备用性的特点将各输入进行逻辑运算的关系。3. “结果”部分（输出部分）：将逻辑运算的结果通过输出模件到现场阀门、开关、继电器等方式执行或在操作屏幕上显示。二、逻辑代数基础： 1. 逻辑变量与常量逻辑变量：采纳逻辑变量表示数字逻辑的状态，逻辑变量的输入输出之间构成函数关系。逻辑常量：逻辑变量只有两种可能的取值：“真”或“假”，习惯上，把“真”记为“1”，“假”记为“0”，这里“1”和“0”不表示数量的大小，表示完全对立的两种状态。2. 逻辑运算：2.1 逻辑常量运算公式与运算（and &）或运算（or ≥1）非运算（on）0·0=00·1=01·0=01·1=10+0=00+1=11+0=11+1=1=0=12.2 逻辑变量、常量运算公式与运算或运算非运算A·0=0A·1=AA·A=AA·=0A+0=AA+1=1A+A=AA+=1=A变量 A 的取值只能为 0 或为 1，分别代入验证。三、 逻辑代数的基本定律3.1 与普通代数相似的定律交换律A+B =B+AA·B=B·A结合律A+B+C=(A+B)+C=A+(B+C)A·B·C=(A·B) ·C=A·(B·C)分配律A·(B+C)=A·B+A·CA+B·C=(A+B) ·(A+C)3.2 吸收律 吸收律可以利用基本公式推导出来，是逻辑函数化简中常用的基本定律。吸收律证明1 .AB+A=A2.A+AB=A1.3.A+B=A+B4.AB+C+BC=AB+CAB+A=A(B+)=A·1=AA+AB=A(1+B)=A·1=AA+B=(A+)(A+B)=1·(A+B)=A+B原式=AB++BC(A+)=AB+C+ABC+BC=AB(1+C)+C(1+B)=AB+C3.3 摩根定律：又称为反演律，它有下面两种形式=+=·证明：3.4 逻辑函数的表示方法 逻辑表达式 B·0 00 11 01 110001000 B+0 00 11 01 111101110 真值表 卡诺图（邻接真值表） 逻辑图 波形图*表示方法之间的转换四、 常用的逻辑组合：4.1 “同或”逻辑：L=AB +=AB逻辑图： 真值表：特征：两个输入变量一样输出为 14.2 “异或”逻辑：L=A+B=A⊙B特征：两个输入变量相异输出为 1逻辑图： 真值表：4.3 “三取二”逻辑：L=AB +BC+CA逻辑图： 真值表：特征：三个输入变量至少有两个为 1 时，输出为 14.4“自锁”逻辑：L=ABC(L+HS)逻辑图： 功能说明：该逻辑是将 ABC 个条件锁定，假如ABC 任一条件为 0，则输...
