首页> 中文期刊>运城学院学报 >由合取范式求主析取范式的一种新方法

由合取范式求主析取范式的一种新方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

通过构造树,给出一种由合取范式求主析取范式的方法,该方法能够比较方便地得到命题公式的主析取范式.

著录项

来源
《运城学院学报》|2010年第5期|15-16|共2页
作者
王宝丽; 姚喜妍;
展开▼
作者单位

运城学院,应用数学系,山西,运城,044400;

运城学院,应用数学系,山西,运城,044400;

展开▼
原文格式 PDF
正文语种 chi
中图分类数理统计;
关键词
合取范式; 主析取范式; 构造树;
入库时间 2023-07-25 15:09:19

相似文献

中文文献
外文文献
专利

1. 一种求算结构可靠度指标的新方法 [J] . 夏雨 ,张泽俊 ,余颖烨 . 计算力学学报 . 2021,第002期
2. 一种求分段函数在分界点处导数的新方法 [J] . 展丙军 ,展铭望 ,隋殿杰 . 高师理科学刊 . 2020,第010期
3. 恢复力模型中求突变折点的一种新方法 [J] . 姜磊 ,郑春梅 ,冯丽娜 . 地震工程与工程振动 . 2020,第2期
4. 求方阵初等因子的一种新方法及其数值实现 [J] . 杜翠真 ,尹潇潇 . 赤峰学院学报（自然科学版） . 2015,第020期
5. 求自然数幂和的一种新方法 [J] . 朴元俊 ,廉晓龙 . 中国校外教育（理论） . 2014,第004期
6. 求合取范式可满足性问题全部解的一个算法 [C] . 曾振柄 . 2002年全国理论计算机科学学术年会 . 2002
7. 求非线性系统对称群的两种新方法 [A] . 马红彩 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号