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

摘要：

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

关键词： 多输入多输出 单边逻辑函数 补集 二进制特征矩阵 软件设计

作者: 邱建林 王波 顾翔 刘维富

作者单位: 南通大学计算机科学与技术学院,江苏,南通,226019

会议类型: 国内会议

会议名称: 第五届中国计算机支持的协同工作学术会议(C=CSCW2006)与第三届全国智能信息网络学术会议(IIN2006)

会议地点: 福州

会议语种:中文

页码: 129-132

在线出版日期: 2006-11-01（万方平台首次上网日期，不代表论文的发表时间）