一种优化联锁布尔逻辑的算法

布尔代数被应用于计算机联锁系统,用来表示联锁逻辑关系,而已有辅助工具自动生成的布尔代数存在数据量大、有冗余变量、逻辑复杂等问题。本文针对这些问题,提出了一种优化联锁布尔逻辑的算法。该算法通过替换表达式中常1和常0变量,拆分括号,合并同类项等方式,并根据相同道岔定反位相加可以消除道岔条件的原理对所有的道岔条件进行优化,优化后的表达式将为最简式。优化后的表达式可以减少下位机的运算负荷,提高布尔逻辑表达式的运算速度。