%0 Journal Article
%T 内涵亏值及二值命题逻辑中命题集合约简
%A 马垣
%J 模式识别与人工智能
%P 935-943
%D 2013
%X 求命题集所有可能的约简是二值命题逻辑的一个重要课题。目前的算法都是逐一求单个约简，汇总起来得到所有可能约简。文中应用形式概念的理论，提出内涵亏值、亏值超图等思想，给出一次即可求出所有约简的算法。该算法使计算全部约简的运算次数大为减少。
%K 二值命题逻辑
%K 命题集约简
%K 概念格
%K 内涵亏值
%U http://manu12.magtech.com.cn/Jweb_prai/CN/abstract/abstract9663.shtml