MVL函数的一种综合算法

A SYNTHESIZE ALGORITHM OF MVL FUNCTIONS

在讨论扩展型Allen-Civone代数系统的基础上选择合理的数据结构,给出多值逻辑的广义OR结合运算定义并以此求解质蕴涵项集合。为了加速求解覆盖的过程,将二值锐积的分组蕴涵简化推广到多值逻辑的位置多维体阵列中;覆盖形成后,做△简化运算进一步降低实现代价。该算法是M.C.Waters二值最大覆盖算法的推广。

On the basis of discussing the extented Allen-Givone implementation oriented algebra this paper selects a suitable data structure. Presents the definition of generalized OR-com-bined operation of MVL and uses it for solving EPI set. In order to speed up the process of solving a cover,the subsume simplication in groups of two-valued sharp product is extended onto position cubical arrays of MVL. By the A operator the implementation cost of the cover is further lowered after forming a cover. The algorithm is an extension of the two-valued cover-most algorithm proposed by M. C. Waters.