切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
命题逻辑主析取(合取)范式的代数化求解
命题逻辑主析取(合取)范式的代数化求解
来源 :聊城大学学报:自然科学版 | 被引量 : 0次 | 上传用户:ponsan
【摘 要】
:
利用纯代数的方法,通过命题公式与多项式方程组的对应关系,再由方程组的解转化为相应的极大项、极小项,最后得到命题公式的主析取范式及主合取范式.该方法思路规范、简单,便
【作 者】
:
王金亮
许艳丽
赵俊雅
张月岭
【机 构】
:
聊城大学计算机学院
【出 处】
:
聊城大学学报:自然科学版
【发表日期】
:
2010年2期
【关键词】
:
命题公式
真值函数
范式
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
利用纯代数的方法,通过命题公式与多项式方程组的对应关系,再由方程组的解转化为相应的极大项、极小项,最后得到命题公式的主析取范式及主合取范式.该方法思路规范、简单,便于计算机程序化.
其他文献
脑梗死患者的护理体会
摘要:脑梗死是指局部脑组织包括神经细胞、胶质细胞和血管由于血液供应缺乏而发生脑组织发生缺血、缺氧而坏死、软化,形成梗死灶的脑血管疾病。此病致残率高,且老年人为多发,多有肢体瘫痪,语言障碍,口角歪斜,吞咽功能障碍等症状。基于上述情况,除积极地配合治疗外,做好相应护理工作,对防止病情进一步发展和预防各种并发症具有重要作用,将直接影响患者的治疗效果和预后。 关键词:脑梗死患者 护理体会 Brai
期刊
脑梗死患者
护理体会
After the brain stem dead patient Nursing: experience
手法治疗肩周炎
目的:观察手法治疗肩周炎的临床疗效.方法:在不同期采用不同的手法,并以口服芬必得为对照组,将190例患者分为两组,进行1个月观察,进行对比分析.结果:治疗组有效率85%,对照组
期刊
手法治疗
肩周炎
芬必得
疗效观察
教育乱收费的铁石心肠
6月1日《海南特区报》报道,贫穷、欠款、高昂的入学费用这些拦路虎一个接着一个,让考上了北京大学研究生的海南大学生廖英豪和廖洪广不得不感叹:考上北大研究生也是枉然!是就
期刊
教育公益性
乱收费
奖学金
高校收费
学费
教育良心
研究生
高等教育
主管部门
哈佛大学
一类基于单侧加权移位的本性正规算子的(U+K)-轨道闭包
设H是复可分无穷维Hilbert空间,W是定义在H上的有界本性正规单的单侧加权移位算子,刻画了本性正规算子T=+ni=1 W的(U+K)-轨道的范数闭包.
期刊
(U+K)-轨道
单的单侧加权移位
本性正规算子
酉算子+紧算子
扰动
(U+K)-orbit
injective unilateral weighted sh
劳资冲突不单纯是经济问题
近段时间,出租车涨价问题成为社会关注的焦点。尽管反对涨价的呼声异常强大,但出租车公司主导的涨价已成定局。为什么如此强大的声音仍不能阻止涨价呢?这里有一个话语权问题
期刊
劳资冲突
经济问题
出租车司机
社会和谐
涨价
话语权
公司利益
社会关注
地方政府
政治问题
胃大部分切除术后再出血10例的分析
目的:探讨胃大部分切除术后再出血的原因、治疗以及防治措施.方法:通过对本院2009年1月-2010年12月消化外科10例胃大部分切除术后再出血患者的资料进行回顾性分析.结果:10例再出
期刊
胃大部分切除术后
再出血
外科手术
二项式光场作用下光子J-C模型中原子算符的压缩
利用数值计算方法,研究了二项式光场与二能级原子相互作用过程中原子算符的压缩效应.结果表明,选择不同的系统参数,可使原子算符产生不同程度的压缩.
期刊
J-C模型
二项式光场
原子算符
压缩效应
J-C model
the binomial states field
atomic operator
squeez
一幅油画与一段历史:毛、李、刘安源“三人行”
油画《毛主席去安源》是“文革”期间的一幅名作,当时舆论称之为“无产阶级文化大革命开出的灿烂艺术之花”,共印9亿多张,超出了当时的人口总数。不过,毛泽东本人似乎不太满意,据说他在审看时曾说:“我在安源不是穿长袍,是穿短衣。”这一“最高指示”通过非正式渠道逐渐传开,有关这幅画的宣传也开始降温。另外,有论者指出,毛泽东当时住在长沙清水塘,距安源300多华里,他不可能从长沙步行到安源。当时从长沙到安源有列
期刊
李立三
毛泽东
刘少奇
立三路线
中国革命
安源
共产国际
陈独秀
工人运动
油画
孙长江:实事求是难啊
我和孙长江是多年老友,也可说是忘年交。 孙长江的阅历很丰富,其中最引人注目的是他在1978年起草了《实践是检验真理的唯一标准》一文,这也是他一生中能够写进历史的主要成就。多年来,有关这篇文章写作过程的传言纷纷扰扰,我为此特地请教了孙长江。 马:写这篇文章的大背景是什么? 孙:1976年毛主席逝世,接着粉碎了“四人帮”。没有毛主席,中国的路怎么走?当时的中国,经济濒临崩溃,冤案堆积如山,邓小平
期刊
实事求是
邓小平
毛泽东思想
文章
毛主席
真理标准问题
中央党校
文化大革命
实践
检验
住院患者对护理礼仪需求状况的调查
目的:调查住院患者对护理礼仪的需求状况.方法:选择上海市东方医院120名住院患者直接进行问卷调查,采用spss10.0.结果:护士操作技术、职业规范、服务态度、责任心等对病人心理影
期刊
护士
住院患者
护理礼仪
Nurse In hospital patient Nursing etiquette
与本文相关的学术论文