一种多值逻辑函数的智能简化方法

ANINTELIGENT SIMPLIFICATION METHOD OF MULTI-VALUED LOGIC FUNCTIONS

就多值逻辑函数综合问题给出一种建立在扩展型 Allen-Givone 代数系统之上的启发式智能算法,即根据一种折衷实现的代价标准,给出了函数位置多维体之间及其坐标之间的2种排序策略,以提高求解速度和简化程度;在此基础上,又给出了采用启发式排序策略的智能简化算法,该算法产生的结果是无冗余的覆盖.

For the simplification problem of multi-valued logic functions,a new irredundant cover algorithm which based on the extented Allen-Givone implementation oriented algebra is pre- sented.According to an eclectic cost criterion,two inteligent sorting strategies among posi- tion cubes and among coordinates of a cube are described in this algorithm.They are used for increasing solving speed and raising simplifying extent.Based on above mentioned,the intel- ligence simplified algorithm with heuristic collate strategies is given.This algorithm leads to redundant covering.