1 第二章 联锁逻辑图入门 一、概述： 联锁逻辑图是以逻辑代数为基础，以图形化的结构表达出各个因果逻辑关系的图。 大致分为以下三部分： 1. “原因”部分（输入部分）：由工艺信号、操作按钮、就地开关及高低报警等具有逻辑特性的物理量。 2. 逻辑运算部分（功能块部分）：将各输入条件根据工艺的的安全性、时序性、备用性的特点将各输入进行逻辑运算的关系。 3. “结果”部分（输出部分）：将逻辑运算的结果通过输出模件到现场阀门、开关、继电器等方式执行或在操作屏幕上显示。 二、逻辑代数基础： 1. 逻辑变量与常量 逻辑变量：采用逻辑变量表示数字逻辑的状态，逻辑变量的输入输出之间构成函数关系。 逻辑常量：逻辑变量只有两种可能的取值：“真”或“假”，习惯上，把“真”记为“1”，“假”记为“0”，这里“1”和“0”不表示数量的大小，表示完全对立的两种状态。 2. 逻辑运算： 2.1 逻辑常量运算公式 与运算 （and &） 或运算 （or ≥1） 非运算 （on） 0·0=0 0·1=0 1·0=0 1·1=1 0+0=0 0+1=1 1+0=1 1+1=1 1=0 0 =1 2.2 逻辑变量、常量运算公式 与运算 或运算 非运算 A·0=0 A·1=A A·A=A A·A =0 A+0=A A+1=1 A+A=A A+ A =1 A =A 变量 A 的取值只能为0 或为1，分别代入验证。 2 三、 逻辑代数的基本定律 3.1 与普通代数相似的定律 交换律 A+B =B+A A·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·C A+B·C=(A+B) ·(A+C) 3.2 吸收律 吸收律可以利用基本公式推导出来，是逻辑函数化简中常用的基本定律。 吸收律 证明 1 .AB+A B =A 2.A+AB=A 1.3.A+ A B=A+B 4.AB+ A C+BC=AB+ A C AB+A B =A(B+ B )=A·1=A A+AB=A(1+B)=A·1=A A+ A B=(A+ A )(A+B)=1·(A+B)=A+B 原式=AB+ A C +BC(A+ A ) =AB+ A C+ABC+ A BC =AB(1+C)+ A C(1+B) =AB+ A C 3.3 摩根定律：又称为反演律，它有下面两种形式 AB= A+ B BA = A·B 证明： A B BA A · B 3 3.4 逻辑函数的表示方法 逻辑表达式 真值表 卡诺图（邻接真值表） 逻辑图 波形图* 表示方法之间的转换 逻辑表达式真值表将输入变量的所有取值组合（可按自然二进制编码）逐一代入逻辑表达式，列成表找到使逻辑函数Y=1的变量取值组合所对应的“乘积项”——取值“1...
