用二值逻辑对多值逻辑进行优化

摘要：

提出以二值多输出逻辑优化软件OPLG为基础,对多值逻辑函数进行逻辑优化的方法.通过对多值变量、多值函数的二进制矢量描述,将多值多维体转换为布尔表达式积项形式.从多值多维体的多值最小项出发,给出计算基本无关集的方法.对多值逻辑函数的优化通过调用二值逻辑优化软件OPLG(允许的最大输入、输出变量之和为300)来实现,二值逻辑优化的结果最终再转换为多值多维体的表示形式.

关键词：多值逻辑、多值多维体、多值最小项、基本无关集、二值逻辑

所属期刊栏目：16

分类号：TP302.2;TN47(计算技术、计算机技术)

资助基金：江苏省自然科学基金BK2001130;江苏省高校自然科学基金03KJB520103

在线出版日期：2004-06-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：682-686