用二值逻辑对多值逻辑进行优化
Optimization of Multiple-Valued Logic by Two-Valued Logic
-
摘要: 提出以二值多输出逻辑优化软件OPLG为基础,对多值逻辑函数进行逻辑优化的方法.通过对多值变量、多值函数的二进制矢量描述,将多值多维体转换为布尔表达式积项形式.从多值多维体的多值最小项出发,给出计算基本无关集的方法.对多值逻辑函数的优化通过调用二值逻辑优化软件OPLG (允许的最大输入、输出变量之和为300)来实现,二值逻辑优化的结果最终再转换为多值多维体的表示形式.Abstract: An approach for optimizing multiple-valued logic by using optimization software OPLG (Optimization on Logic Program) of two-valued multiple-output logic is presented. By describing binary system vector with multiple-variable and multiple-function, we replace the multiple-valued cubes by Boolean expression products and introduce a method for calculating basic don't-care set from the multi-valued min-i term of multiple-valued cube. Finally, the output of OPLG (the sum of maximum allowable variables for input and output is 300) is converted back to the multi-valued cube form.
下载: