命题逻辑公式中的冗余子句及冗余文字

• 作者: 秦克云 翟翠红
• 来源期刊: 计算机科学
• 学科: 数学
• 关键词: 冗余子句 冗余文字 无冗余等价子集 可满足性
• 年，卷（期）: 2013,（5）
• 所属期刊栏目: 2012'多值逻辑专栏
• 页码范围: 48-50
• 页数: 3页
• 分类号: O141.1
• 字数: 3186字
• 语种: 中文

摘要

主要研究命题逻辑公式中的冗余子句和冗余文字.针对子句集中必需的、有用的、无用的子句,分别给出了一些等价描述方法,进而讨论子句集的无冗余等价子集.另外,得到了子句集中冗余文字的判别方法,借助可满足性给出了冗余子句的一种等价条件.上述结果为命题逻辑公式的化简奠定了一些理论基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	秦克云	西南交通大学数学学院	147	930	15.0	22.0
2	翟翠红	西南交通大学数学学院	3	13	3.0	3.0