主范式的运算性质  

Principal Disjunctive and Conjunctive Normal Form

在线阅读下载全文

作  者:张型岱[1] 

机构地区:[1]牡丹江师范学院数学系,牡丹江157012

出  处:《牡丹江师范学院学报(自然科学版)》2002年第3期20-21,共2页Journal of Mudanjiang Normal University:Natural Sciences Edition

摘  要:文[6]研究了极大项、极小项的运算性质,本文研究公式的主范式的运算,给出求A,A ∨ B,A ∧ B,A→B,AB的主范式的公式,由此可用程序化的方法求任意公式的主范式。

关 键 词:极小项 极大项 主析取范式 主合取范式 主范式 运算性质 逻辑公式 

分 类 号:O141[理学—数学]

 

参考文献:

正在载入数据...

 

二级参考文献:

正在载入数据...

 

耦合文献:

正在载入数据...

 

引证文献:

正在载入数据...

 

二级引证文献:

正在载入数据...

 

同被引文献:

正在载入数据...

 

相关期刊文献:

正在载入数据...

相关的主题
相关的作者对象
相关的机构对象