中介逻辑命题演算系统的可满足性的判定复杂度

来源 :南京师大学报:自然科学版 | 被引量 : 0次 | 上传用户:wrx5428167
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正> [1]证明了中介逻辑的命题演算系统MP(见[2])中的每一合式公式可以分解为以形如p,p,~p,~p(p为原子命题)为基子句的析取范式,本文的主要结果为:判定以形如p,p,~p,~p为文字的子句集的可满足性问题是NP完全的。
其他文献
以部分体育专业女生为对象,对他们的营养状况和体力进行了调查和测定。调查发现他们的营养状况不容乐观。除蛋白质外,大部分营养素的摄入量没有达到国家营养学会推荐量的标准,特
2008年,《江苏高教》在质量建设上再获佳绩:在4年进行一次的核心期刊评选中再度被评为全国中文核心期刊和中国人文社会科学核心期刊;在两年进行一次的CSSCI来源期刊的评选中继续
基因免疫指用DNA(质粒或线性的PCR产物)或RNA接种,诱发机体产生对基因编码蛋白的免疫,这是免疫领域最新的进展.基因疫苗可以在很多种类的动物中诱发保护性免疫反应[1].但在实
以氨与铵态氮肥为例,在明确教学设计理念的基础上,确立了基于培养决策能力的教学设计思路:包括确立决策事件,设计情境、问题、活动,以及设计教学评价等环节。进而围绕生产运
十一碳烯酸二乙醇酰胺的合成方法未见有直接报导,本文介绍采用十一碳烯酸甲酯在碱催化下通过氨解进行合成的试验。
本刊讯 6月11日,江苏教育报刊总社在南京召开《江苏教育报》和《小学生数学报》宣传工作会议。省教育厅副巡视员洪流出席会议并讲话,省教育厅办公室、基础教育处、教育报刊总社
本文首次报道了以组织学手段对澳大利亚淡水螯虾-麦龙虾的触角腺进行研究的结果。根据组织学(?)征麦龙虾的触角腺可分为三个部分,它们依次为:端囊,迷路和肾管。端囊部分的细
2008-2009年度的CSSCI(中文社会科学引文索引)来源期刊已于不久前遴选确定。CSSCI新的年度来源期刊遴选的原则和方法是:根据中国社会科学研究评价中心提供的各学科期刊“总被引
三、文字规范能力的具体表现1.敏锐的纠错眼光。语言文字的差错,可以从不同的角度来归类。如从客观的角度归类,有字形的差错、意义的差错等.我今天想从我们做编辑的主观的角度来
枸杞果实粗提液中具有Mn-SOD、Fe-SOD和Cu&#183;Zn-SOD三种类型。经氯仿-乙醇处理、丙酮分级沉淀、sepbadex G-100凝胶过滤和DEAE-纤维素柱层析纯化,获得对CN~-敏感的Cu&#183