| 命题逻辑中主范式的求法 |
| |
| 引用本文： | 韦宁,王恩亮,郁国瑞.命题逻辑中主范式的求法[J].河北理工学院学报,2005,27(4):92-94. |
| |
| 作者姓名： | 韦宁 王恩亮 郁国瑞 |
| |
| 作者单位： | 河北能源职业技术学院基础部,河北唐山063004 |
| |
| 摘 要： | 求主析取范式包括真值表法、推演法以及用真值表法求，G的主析取范式、用推演法求G的主合取范式等四种方法。用极小项的性质给出了真值表求法的证明，用公式相等的定义证明了求，G的主析取范式的定理。
|
| 关 键 词： | 极小项 主析取范式 真值表 推演法 |
| 文章编号： | 1007-2829（2005）04-0092-03 |
| 收稿时间： | 2005-02-10 |
| 修稿时间： | 2005年2月10日 |
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,2005,27(4):92-94. |
| |
| Authors: | WEI Ning WANG En - liang YU Guo - rui |
| |
| Institution: | Base Department of Hebei Energy Institute of Vocation and Technology ,Tangshan Hebei 063004, China |
| |
| Abstract: | Seeking the main disjunctive normal form mainly includes the following four methods, the truth table method, the deductive method, the main disjunctive normal form using the truth table method to seek the G, and the main conjunctive normal form using the deductive method to seek the G. To support the truth table method, the properties of the minimal form are cited. Besides, it proves the theorem of the main disjunctive normal form of seeking G with the definition of formula equality. |
| |
| Keywords: | minimal form main disjunctive normal form truth table deductive method |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
