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

来源 :运城学院学报 | 被引量 : 0次 | 上传用户:maomaoniaoniao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通过构造树,给出一种由合取范式求主析取范式的方法,该方法能够比较方便地得到命题公式的主析取范式。
其他文献
1月5日召开的中国质检工作会议表示,中国国家质检总局将对乳制品等5类产品开展全国性综合治理。国家质检部门将会把质量问题多、民众反映强烈的产品和进出口商品作为重点,对
<正> 国务院副总理姜春云在山东省视察农村工作时指出:要进一步落实党和国家对农村的基本政策,调动、保护农民的积极性。家庭联产承包为主的责任制、统分结合的双层经营体制,
当前国家标准中关于对混凝土中氯离子含量检测方法和评价标准不统一,这种状况给使用海砂浇筑混凝土的检测鉴定工作带来困难。本文提出了如何合理地解决此问题的有效办法。
以‘寒优湘晴’为材料,研究后期不同肥料运筹对其生长和产量的影响。结果表明:施穗肥能促进‘寒优湘晴'植株生长,有利于干物质积累,显著提高产量;不施长粗肥的产量最高;只施长
目的:探讨综合护理干预对病毒性脑炎患儿治疗效果的影响。方法:选取2013年2月至2014年3月在儿科住院的32例重症病毒性脑炎患儿实施整体护理,加强医、护、患沟通合作,进行健康宣教
欧盟发表政府公报,将敌敌畏(CAS号62-73—7)从“欧盟生物杀灭剂投放市场指令98/8/EC”附录Ⅰ的ⅠA或ⅠB中用于第18类产品(杀虫剂、杀螨剂以及其他用以控制节肢动物的产品)的活性物
现批准《建筑结构加固工程施工质量验收规范》为国家标准,编号为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.
目的:探讨妇科千金胶囊联合氧氟沙星治疗慢性盆腔炎的方式方法,观察治疗效果。方法:收集96例慢性盆腔炎患者,将其划分为联合治疗组与氧氟沙星治疗组。对氧氟沙星治疗组患者给予氧
现批准《电子信息系统机房施工及验收规范》为国家标准,编号为GB50462--2008,自2009年6月1日起实施。其中,第3.1.5、5.2.2、6.3.4、6.3.5、12.7.3条为强制性条文,必须严格执行。本规范由我
<正> 盐池县地处古长城脚下毛乌素沙漠前沿,土层薄,肥力差,水源不足,限制了灌溉面积的扩大,再加上近几年连续大旱,粮食产量低而不稳。1974年他们在城郊公社四墩子大队进行了