蕴涵项的扩展算法

摘要：

本文提出了一个把逻辑函数的积项扩展为本源蕴涵项的算法.用此算法得到的本源蕴涵项集合通过去冗过程产生的最后结果最接近绝对最小化的解.

关键词：阻塞矩阵、覆盖矩阵、列覆盖、列删除、行删除

所属期刊栏目：22

分类号：O14;TP301.6(数理逻辑、数学基础)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：5-7