| 主范式的运算性质 |
| |
| 引用本文： | 张型岱,张格华. 主范式的运算性质[J]. 数学的实践与认识, 2004, 34(4): 118-121 |
| |
| 作者姓名： | 张型岱 张格华 |
| |
| 作者单位： | 1. 牡丹江师范学院数学系,牡丹江,157012
2. 北京航空航天大学自动控制系,北京,100083 |
| |
| 摘 要： | 研究了极大项、极小项的运算性质 ,利用这些性质给出了求 A,A∨ B,A∧ B,A→ B,A B的主范式的公式 ,由此可用程序化的方法求任意公式的主范式 .
|
| 关 键 词： | 极小项 极大项 主析取范式 主合取范式 |
| 修稿时间： | 2001-11-20 |
Principal Disjunctive and Conjunctive Normal Form |
| |
| ZHANG Xing-dai,ZHANG Ge-hua. Principal Disjunctive and Conjunctive Normal Form[J]. Mathematics in Practice and Theory, 2004, 34(4): 118-121 |
| |
| Authors: | ZHANG Xing-dai ZHANG Ge-hua |
| |
| Abstract: | This paper studied the operational nature of Maxiterm and Minterm, using these nature Principal, given Disjunctive and Conjunctive Normal Form of [FK(W1.*5/6][XXZSY*4-YSY*4][XXYSY*4-YXY*4]A, A∨B, A∧B, A→B, AB. |
| |
| Keywords: | minterm maxiterm principal disjunctive normal form principal conjunctive normal form |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
