0—1多项式与命题逻辑被引量：1

0-1 Polynomial and Propositional Logic

下载PDF

导出

摘要本文提出了0-1多项式,并将命题逻辑公式转化为0-1多项式. In this paper the 0-1 polynomial is introduced,and the propositional logic formula is changed into the 0-1 polynomial.

作者苏岐芳杨捷飞

机构地区齐齐哈尔师范学院数学系齐齐哈尔农业银行干校

出处《齐齐哈尔师范学院学报（自然科学版）》 1995年第3期1-3,共3页

关键词 0-1多项式命题逻辑多元多项式 0-1 polynomial Propositional logic Canonical form Equivalence

分类号 O151.2 [理学—基础数学]

引文网络
相关文献

引证文献1

1苏岐芳,苏雅春.命题逻辑中的可表性[J].松辽学刊（自然科学版）,1997(4):89-92. 被引量：1

二级引证文献1

1王建.联结词的可表性与完全集[J].绍兴文理学院学报（自然科学版）,2006,26(1):21-24.

1翟翠红,秦克云.命题逻辑公式中的冗余子句及冗余文字[J].计算机科学,2013,40(5):48-50. 被引量：4
2宋庆燕,杨兴忠.命题逻辑公式集上的正则相似关系[J].陕西师范大学学报（自然科学版）,2002,30(4):23-27. 被引量：1
3陈图云,李慧玲.直觉模糊命题逻辑公式的概率真度[J].辽宁师范大学学报（自然科学版）,2006,29(4):388-389. 被引量：1
4王永安.二值命题逻辑F(S_n)在可证等价意义下的一般表示[J].纺织高校基础科学学报,2008,21(4):383-388. 被引量：1
5罗清君,王国俊.经典命题逻辑中的近似推理与强近似推理[J].模糊系统与数学,2012,26(4):20-24. 被引量：2
6王廷明.基于标准化表示的命题逻辑公式的D-随机真度[J].中国海洋大学学报（自然科学版）,2009,39(1):169-172.
7高芹,张兴芳,张月岭.命题逻辑公式的相似度与距离之研究[J].聊城大学学报（自然科学版）,2008,21(1):4-7.
8张东晓,李立峰.二值命题逻辑公式的语构程度化方法[J].电子学报,2008,36(2):325-330. 被引量：17
9苏岐芳.极大独立集的逻辑算法[J].广西师范学院学报（自然科学版）,2003,20(1):20-22. 被引量：2
10苏岐芳.图的支配集的有效算法[J].台州学院学报,2003,25(6):1-3. 被引量：6

齐齐哈尔师范学院学报（自然科学版）

1995年第3期

浏览历史

内容加载中请稍等...

0—1多项式与命题逻辑被引量：1

引证文献1

二级引证文献1

相关作者

相关机构

相关主题

浏览历史

0—1多项式与命题逻辑 被引量：1

引证文献1

二级引证文献1

相关作者

相关机构

相关主题

浏览历史

0—1多项式与命题逻辑被引量：1