分享到:

MVL函数的一种综合算法

在讨论扩展型Allen-Civone代数系统的基础上选择合理的数据结构,给出多值逻辑的广义OR结合运算定义并以此求解质蕴涵  (本文共8页) 阅读全文>>

《计算机研究与发展》1951年20期
计算机研究与发展

关于实质本源蕴涵项的识别问题

本文揭示了ESPRESSO算法和Muroga等提出的求绝对最小化算法...  (本文共6页) 阅读全文>>

《太原工业大学学报》1988年03期
太原工业大学学报

用蕴涵关系化简多输出逻辑函数

本文提出利用多输出逻辑函数之间的蕴涵关系,化简多输出逻辑函数的方法。这一方法能使多输出逻辑函数的总最小项数目减少,公...  (本文共4页) 阅读全文>>

《计算机工程与科学》2000年02期
计算机工程与科学

蕴涵项的扩展算法

本文提出了一个把逻辑函数的积项扩展为本源蕴涵项的算法...  (本文共3页) 阅读全文>>

《计算机应用与软件》1992年04期
计算机应用与软件

用编码算法求本源蕴涵项并构成布尔函数的近似最小化表达式

本文提出了一个有效的化简布尔函数的算法。本源蕴涵项是通过小项的编码运算获得的。使用该算法可得到一个函数的近似最小化解,其近似程度...  (本文共8页) 阅读全文>>

《南通工学院学报(自然科学版)》2002年02期
南通工学院学报(自然科学版)

蕴涵项扩展技术在多输出逻辑函数中的应用

文章给出一个适用于大变量多输出逻辑函数蕴涵项扩展的算法。多输出函数在它的矩阵表示中...  (本文共4页) 阅读全文>>