单边多输出逻辑函数补集软件的设计与实现

Design and Realization of Complement Sets Software for Multi-output Unate Logic Functions

根据单边逻辑函数的特性,介绍了一种多输入多输出单边逻辑函数补集方法,该方法采用二进制特征矩阵和状态矢量来描述原函数,进行最小列覆盖的选择形成多输出补集函数的控制矩阵,由控制矩阵与补集函数的状态矢量形成单边单输出补集合逻辑函数,通过多输出逻辑函数分解与合并最终产生多输出单边逻辑函数的补集。所设计的多输入多输出单边逻辑函数补集算法软件,在P-1.8GHz,512MBRAM的计算机上完成测试和运行,并通过测试检验程序,保证输出结果在逻辑上与输入条件求补等价。

According by the characteristic of unite logic functions, this paper introduces a method of complement sets about multi-input multi-output unate logic functions. It describes original functions by character matrix and state vector, forms control matrix of multi-output functions according by choice least row-cover, and creates single -output unite logic complement sets by control matrix and state vector of complement sets. We design complement sets software of multi-input multi-output unate logic functions. It accomplishes running and testing on computer of Pentium 1.8GHz, 512MBRA and overpasses check-up of checking program. The results are correct for complement sets of original functions.