论文部分内容阅读
利用纯代数的方法,通过命题公式与多项式方程组的对应关系,再由方程组的解转化为相应的极大项、极小项,最后得到命题公式的主析取范式及主合取范式.该方法思路规范、简单,便于计算机程序化.
命题逻辑主析取（合取）范式的代数化求解
【摘 要】
：
利用纯代数的方法,通过命题公式与多项式方程组的对应关系,再由方程组的解转化为相应的极大项、极小项,最后得到命题公式的主析取范式及主合取范式.该方法思路规范、简单,便
【机 构】
：
聊城大学计算机学院
【出 处】
：
聊城大学学报：自然科学版
【发表日期】
：
2010年2期
其他文献
摘要：脑梗死是指局部脑组织包括神经细胞、胶质细胞和血管由于血液供应缺乏而发生脑组织发生缺血、缺氧而坏死、软化，形成梗死灶的脑血管疾病。此病致残率高，且老年人为多发，多有肢体瘫痪，语言障碍，口角歪斜，吞咽功能障碍等症状。基于上述情况，除积极地配合治疗外，做好相应护理工作，对防止病情进一步发展和预防各种并发症具有重要作用，将直接影响患者的治疗效果和预后。 关键词：脑梗死患者 护理体会 Brai
目的:观察手法治疗肩周炎的临床疗效.方法:在不同期采用不同的手法,并以口服芬必得为对照组,将190例患者分为两组,进行1个月观察,进行对比分析.结果:治疗组有效率85%,对照组
6月1日《海南特区报》报道,贫穷、欠款、高昂的入学费用这些拦路虎一个接着一个,让考上了北京大学研究生的海南大学生廖英豪和廖洪广不得不感叹：考上北大研究生也是枉然!是就
设H是复可分无穷维Hilbert空间，W是定义在H上的有界本性正规单的单侧加权移位算子,刻画了本性正规算子T=＋ni=1 W的（U＋K）-轨道的范数闭包．
近段时间,出租车涨价问题成为社会关注的焦点。尽管反对涨价的呼声异常强大,但出租车公司主导的涨价已成定局。为什么如此强大的声音仍不能阻止涨价呢?这里有一个话语权问题
目的：探讨胃大部分切除术后再出血的原因、治疗以及防治措施.方法：通过对本院2009年1月-2010年12月消化外科10例胃大部分切除术后再出血患者的资料进行回顾性分析.结果：10例再出
利用数值计算方法,研究了二项式光场与二能级原子相互作用过程中原子算符的压缩效应.结果表明,选择不同的系统参数,可使原子算符产生不同程度的压缩.
油画《毛主席去安源》是“文革”期间的一幅名作，当时舆论称之为“无产阶级文化大革命开出的灿烂艺术之花”，共印9亿多张，超出了当时的人口总数。不过，毛泽东本人似乎不太满意，据说他在审看时曾说：“我在安源不是穿长袍，是穿短衣。”这一“最高指示”通过非正式渠道逐渐传开，有关这幅画的宣传也开始降温。另外，有论者指出，毛泽东当时住在长沙清水塘，距安源300多华里，他不可能从长沙步行到安源。当时从长沙到安源有列
我和孙长江是多年老友，也可说是忘年交。 孙长江的阅历很丰富，其中最引人注目的是他在1978年起草了《实践是检验真理的唯一标准》一文，这也是他一生中能够写进历史的主要成就。多年来，有关这篇文章写作过程的传言纷纷扰扰，我为此特地请教了孙长江。 马：写这篇文章的大背景是什么? 孙：1976年毛主席逝世，接着粉碎了“四人帮”。没有毛主席，中国的路怎么走?当时的中国，经济濒临崩溃，冤案堆积如山，邓小平
目的：调查住院患者对护理礼仪的需求状况.方法：选择上海市东方医院120名住院患者直接进行问卷调查,采用spss10.0.结果：护士操作技术、职业规范、服务态度、责任心等对病人心理影