| 用三角式判定析取范式永真性的算法研究 |
| |
| 引用本文： | 程裕霞,陈卫东,宋恩民.用三角式判定析取范式永真性的算法研究[J].江汉大学学报(人文科学版),1996(6). |
| |
| 作者姓名： | 程裕霞 陈卫东 宋恩民 |
| |
| 摘 要： | 定义了一种既永真又易于识别的析取范式──三角式，用它对析取范式的结构进行了分析，得出如下结果：在由ｎ个确定的命题变无所可能构成的一切析取范式中，含三角式的占绝大多数．基于这个结果，探究出一个判定析取范式永真性的近似快速求解算法．
|
| 关 键 词： | 析取范式 三角式 算法 |
An Investigation on the Algorithm for Decision of Validity of Disjunctive Normal Form (DNF) by the Triangle Form |
| |
| Cheng Yuxia, Chen Weidong, Song Enmin.An Investigation on the Algorithm for Decision of Validity of Disjunctive Normal Form (DNF) by the Triangle Form[J].Journal of Wuhan Institute of Education,1996(6). |
| |
| Authors: | Cheng Yuxia Chen Weidong Song Enmin |
| |
| Institution: | Cheng Yuxia; Chen Weidong; Song Enmin |
| |
| Abstract: | The triangle form, a kind of DNF which is valid and easy to recognize, is defined.By the triangle form, the construction of DNF is analyzed and it is found that of all DNF's generated by composing n definite proposition variables, those with a triangle form are in the overwhelming majority. Based on this, a fast algorithm for the approximate solution of the decision problem of DNF validity is obtained. |
| |
| Keywords: | disjunctive normal form (DNF) triangle form algorithm |
| 本文献已被 CNKI 等数据库收录！ |
