内涵亏值及二值命题逻辑中命题集合约简

摘要：

求命题集所有可能的约简是二值命题逻辑的一个重要课题。目前的算法都是逐一求单个约简，汇总起来得到所有可能约简。文中应用形式概念的理论，提出内涵亏值、亏值超图等思想，给出一次即可求出所有约简的算法。该算法使计算全部约简的运算次数大为减少。

关键词：二值命题逻辑、命题集约简、概念格、内涵亏值

分类号：TP181(自动化基础理论)

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

页数：共9页

页码：935-943