| 主范式的运算性质 |
| |
| 引用本文： | 张型岱. 主范式的运算性质[J]. 牡丹江师范学院学报(自然科学版), 2002, 0(3): 20-21 |
| |
| 作者姓名： | 张型岱 |
| |
| 作者单位： | 牡丹江师范学院数学系,牡丹江,157012 |
| |
| 摘 要： | 文[6]研究了极大项、极小项的运算性质,本文研究公式的主范式的运算,给出求A,A ∨ B,A ∧ B,A→B,AB的主范式的公式,由此可用程序化的方法求任意公式的主范式。
|
| 关 键 词： | 极小项 极大项 主析取范式 主合取范式 |
| 修稿时间： | 2002-03-16 |
Principal Disjunctive and Conjunctive Normal Form |
| |
| Zhang Xingdai. Principal Disjunctive and Conjunctive Normal Form[J]. Journal of Mudanjiang Teachers' College(Natural Sciences Edition), 2002, 0(3): 20-21 |
| |
| Authors: | Zhang Xingdai |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
