| 代换定理的证明及其应用 |
| |
| 引用本文： | 李庆华.代换定理的证明及其应用[J].华中科技大学学报(自然科学版),1989(4). |
| |
| 作者姓名： | 李庆华 |
| |
| 作者单位： | 华中理工大学计算机科学与工程系 |
| |
| 摘 要： | 本文给出了代换定理的优于文献1]的证明方法,并把代换定理与其他定理结合,构造了一个判定DNF表达式永真性的算法,使代换定理得到实际应用。
|
| 关 键 词： | 代换定理 析取范式 永真性 吸收规则 闭残 交感项 |
Proof of the Substitution Theorem and Its Application |
| |
| Li Qinghua.Proof of the Substitution Theorem and Its Application[J].JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE,1989(4). |
| |
| Authors: | Li Qinghua |
| |
| Abstract: | In this paper the proof and application of the substitution theorem are studied, which play an important role in deciding DNF expression validity. A new concise proof method is given and an algorithm of practical significance for deciding the DNF expression validity is constructed by combining the substitution theorem with the clause-elimination theorem and the subsumption rule. The algorithm described can speed up the decision of the DNF expression validity. |
| |
| Keywords: | Substitution theorem Disjunctive normal form Validity Subsumption rule Closed residue Consensus |
| 本文献已被 CNKI 等数据库收录！ |
