MVL函数的一种综合算法

• 作 者: 王志海 马光胜
• 机 构: 郑州轻工业学院控制工程系,哈尔滨船舶工程学院
• 出 处: 郑州轻工业学院学报
• 发表日期: 1993年02期
• 关键词: MVL函数 算法 多值逻辑 multi-valued logic(MVL) logic design switch theory compnter-aided

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