内涵亏值及二值命题逻辑中命题集合约简 intent waned values and reduction of proposition set in 2-valued propositional logic.pdfVIP

第26 卷摇 第 10期摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 模式识别与人工智能摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 Vol.26摇 No.10 摇 2013年10月摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 PRAI摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 Oct.摇 摇2013 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 内涵亏值及二值命题逻辑中命题集合约简 马摇 垣 (辽宁科技大学软件学院摇 鞍山 114051) 摘摇 要摇 求命题集所有可能的约简是二值命题逻辑的一个重要课题. 目前的算法都是逐一求单个约简,汇总起来 得到所有可能约简.文中应用形式概念的理论,提出内涵亏值、亏值超图等思想,给出一次即可求出所有约简的算 法.该算法使计算全部约简的运算次数大为减少. 关键词摇 二值命题逻辑,命题集约简,概念格,内涵亏值