%0 Journal Article
%T 命题逻辑公式中的冗余子句及冗余文字
%A 翟翠红？
%A 秦克云？
%J 计算机科学
%D 2013
%X 主要研究命题逻辑公式中的冗余子句和冗余文字。针对子句集中必需的、有用的、无用的子句,分别给出了一些等价描述方法,进而讨论子句集的无冗余等价子集。另外,得到了子句集中冗余文字的判别方法,借助可满足性给出了冗余子句的一种等价条件。上述结果为命题逻辑公式的化简奠定了一些理论基础。
%K 冗余子句
%K 冗余文字
%K 无冗余等价子集
%K 可满足性
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20130512&flag=1