| 命题逻辑中单元子句及其负文字和冗余子句 |
| |
| 引用本文： | 刘婷,徐扬,陈秀兰. 命题逻辑中单元子句及其负文字和冗余子句[J]. 计算机科学, 2019, 46(8): 255-259 |
| |
| 作者姓名： | 刘婷 徐扬 陈秀兰 |
| |
| 作者单位： | 西南交通大学系统可信性自动验证国家地方联合工程实验室 成都 610031;西南交通大学系统可信性自动验证国家地方联合工程实验室 成都 610031;西南交通大学系统可信性自动验证国家地方联合工程实验室 成都 610031 |
| |
| 基金项目： | 国家自然科学基金;中央高校研究基础基金项目;中央高校研究基础基金项目 |
| |
| 摘 要： | 针对命题逻辑中逻辑公式的某个单元子句及其负文字和冗余子句,给出了含单元子句的子句集的等价条件,同时刻画了子句集中文字和子句的冗余性,得到了一些冗余文字和冗余子句的判定方法,还提出了与子句集可满足性的等价条件。所提方法可以使命题逻辑的逻辑公式更简单,为命题逻辑中逻辑公式的简化提供一定的理论支撑。
|
| 关 键 词： | 命题逻辑 可满足性 冗余文字 负文字 冗余子句 |
Unit Clauses and Their Complementary Literals and Redundant Clauses in Propositional Logic |
| |
| LIU Ting,XU Yang,CHEN Xiu-lan. Unit Clauses and Their Complementary Literals and Redundant Clauses in Propositional Logic[J]. Computer Science, 2019, 46(8): 255-259 |
| |
| Authors: | LIU Ting XU Yang CHEN Xiu-lan |
| |
| Affiliation: | (National-Local Joint Engineering Laboratory of System Credibility Automatic Verification,Southwest Jiaotong University,Chengdu 610031,China) |
| |
| Abstract: | LIU Ting;XU Yang;CHEN Xiu-lan(National-Local Joint Engineering Laboratory of System Credibility Automatic Verification,Southwest Jiaotong University,Chengdu 610031,China) |
| |
| Keywords: | Propositional logic Satisfiability Redundant literals Complementary literals Redundant clauses |
| 本文献已被 维普 万方数据 等数据库收录！ |
