| 命题逻辑中主范式的求法 |
| |
| 引用本文： | 韦宁,王恩亮,郁国瑞.命题逻辑中主范式的求法[J].河北理工大学学报（自然科学版）,2005,27(4). |
| |
| 作者姓名： | 韦宁 王恩亮 郁国瑞 |
| |
| 摘 要： | 求主析取范式包括真值表法、推演法以及用真值表法求( )G的主析取范式、用推演法求G的主合取范式等四种方法.用极小项的性质给出了真值表求法的证明,用公式相等的定义证明了求┐G的主析取范式的定理.
|
| 关 键 词： | 极小项 主析取范式 真值表 推演法 |
Analysis of Main Disjunctive Normal Form in Logic Assignment |
| |
| WEI Ning,WANG En-liang,YU Guo-rui.Analysis of Main Disjunctive Normal Form in Logic Assignment[J].Journal of Hebei Institute of Technology(Natural Science Edition),2005,27(4). |
| |
| Authors: | WEI Ning WANG En-liang YU Guo-rui |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
