逻辑函数增减项等效及其在化简中的应用

在逻辑代数中,逻辑减与逻辑加、逻辑乘与逻辑除并不是一对逆过程,因而不能相互抵消。文章通过理论分析和推导,设计出分别基于最小项和最大项的增项函数和减项函数构建方法,使得逻辑函数同时增加增项函数和减项函数后与原函数等效,从而实现增项函数与减项函数的相互抵消,并具体介绍了该方法在最小项卡诺图化简、最大项卡诺图化简和单轨输入化简中的应用。