切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
由合取范式求主析取范式的一种新方法
由合取范式求主析取范式的一种新方法
来源 :运城学院学报 | 被引量 : 0次 | 上传用户:maomaoniaoniao
【摘 要】
:
通过构造树,给出一种由合取范式求主析取范式的方法,该方法能够比较方便地得到命题公式的主析取范式。
【作 者】
:
王宝丽
姚喜妍
【机 构】
:
运城学院应用数学系
【出 处】
:
运城学院学报
【发表日期】
:
2010年5期
【关键词】
:
合取范式
主析取范式
构造树
【基金项目】
:
基金项目:山西省教育科学十一五规划项目(NOGH-09070),运城学院重点课程建设项目(No.0612108A),运城学院科研项目(2009003)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通过构造树,给出一种由合取范式求主析取范式的方法,该方法能够比较方便地得到命题公式的主析取范式。
其他文献
国家质检总局将对乳制品等5类产品开展综合治理
1月5日召开的中国质检工作会议表示,中国国家质检总局将对乳制品等5类产品开展全国性综合治理。国家质检部门将会把质量问题多、民众反映强烈的产品和进出口商品作为重点,对
期刊
国家质检总局
有机产品
综合治理
乳制品
进出口商品
食品添加剂
质检工作
质量问题
农村土地承包期将再延长三十年
<正> 国务院副总理姜春云在山东省视察农村工作时指出:要进一步落实党和国家对农村的基本政策,调动、保护农民的积极性。家庭联产承包为主的责任制、统分结合的双层经营体制,
期刊
土地承包期
三十年
双层经营
海砂混凝土中氯离子含量检测鉴定探讨
当前国家标准中关于对混凝土中氯离子含量检测方法和评价标准不统一,这种状况给使用海砂浇筑混凝土的检测鉴定工作带来困难。本文提出了如何合理地解决此问题的有效办法。
期刊
海砂
混凝土
氯离子检测
水稻‘寒优湘晴’后期不同肥料运筹对其生长和产量的影响
以‘寒优湘晴’为材料,研究后期不同肥料运筹对其生长和产量的影响。结果表明:施穗肥能促进‘寒优湘晴'植株生长,有利于干物质积累,显著提高产量;不施长粗肥的产量最高;只施长
期刊
粳稻
寒优湘晴
肥料运筹
干物质积累
产量
Keng rice Hanyouxiangqing Fertilizer treatment Dry matter
小儿病毒性脑炎的护理体会
目的:探讨综合护理干预对病毒性脑炎患儿治疗效果的影响。方法:选取2013年2月至2014年3月在儿科住院的32例重症病毒性脑炎患儿实施整体护理,加强医、护、患沟通合作,进行健康宣教
期刊
病毒性脑炎
综合干预
欧盟禁售含敌敌畏的杀虫剂、杀螨剂等产品
欧盟发表政府公报,将敌敌畏(CAS号62-73—7)从“欧盟生物杀灭剂投放市场指令98/8/EC”附录Ⅰ的ⅠA或ⅠB中用于第18类产品(杀虫剂、杀螨剂以及其他用以控制节肢动物的产品)的活性物
期刊
杀虫剂
敌敌畏
杀螨剂
欧盟
产品
禁售
生物杀灭剂
活性物质
关于发布国家标准《建筑结构加固工程施工质量验收规范》的公告第683号
现批准《建筑结构加固工程施工质量验收规范》为国家标准,编号为GB50550--2010,自2011年2月1日起实施。其中,第4.1.1、4.1.2、4.2.1、4.2.2、4.2.3、4.2.5、4.2.6、4i3i174.4.1、4i4i574.5.1、4.5.
期刊
质量验收规范
建筑结构加固
工程施工
国家标准
公告
48例慢性盆腔炎妇科千金胶囊联合氧氟沙星临床治疗观察
目的:探讨妇科千金胶囊联合氧氟沙星治疗慢性盆腔炎的方式方法,观察治疗效果。方法:收集96例慢性盆腔炎患者,将其划分为联合治疗组与氧氟沙星治疗组。对氧氟沙星治疗组患者给予氧
期刊
慢性盆腔炎
妇科千金胶囊
氧氟沙星
疗效
关于发布国家标准《电子信息系统机房施工及验收规范》的公告
现批准《电子信息系统机房施工及验收规范》为国家标准,编号为GB50462--2008,自2009年6月1日起实施。其中,第3.1.5、5.2.2、6.3.4、6.3.5、12.7.3条为强制性条文,必须严格执行。本规范由我
期刊
电子信息系统
验收规范
国家标准
施工
机房
中国计划出版社
公告
强制性条文
宁夏盐池县一年建成万亩喷灌区
<正> 盐池县地处古长城脚下毛乌素沙漠前沿,土层薄,肥力差,水源不足,限制了灌溉面积的扩大,再加上近几年连续大旱,粮食产量低而不稳。1974年他们在城郊公社四墩子大队进行了
期刊
宁夏盐池县
与本文相关的学术论文