论文部分内容阅读
求主析取范式包括真值表法、推演法以及用真值表法求G的主析取范式、用推演法求G的主合取范式等四种方法。用极小项的性质给出了真值表求法的证明,用公式相等的定义证明了求G的主析取范式的定理。
命题逻辑中主范式的求法
【摘 要】
：
求主析取范式包括真值表法、推演法以及用真值表法求G的主析取范式、用推演法求G的主合取范式等四种方法。用极小项的性质给出了真值表求法的证明,用公式相等的定义证明了求G
【机 构】
：
河北能源职业技术学院基础部
【出 处】
：
河北理工学院学报
【发表日期】
：
2005年04期
其他文献
实际工业过程中往往包含不同运行工况,且每种工况数据一般不服从同一种分布.数据的多分布性和分布的不确定性使得传统的故障诊断方法难以获得满意的效果,因此提出一种基于局
地名是人类赋予特定自然地理实体和人文地理实体的专有名称,与人类社会的产生和发展息息相关。在地理、历史、语言等因素的影响下,地名呈现出较强的地域色彩,其蕴涵的深刻性、复杂性不言而喻。本研究基于田野调查的研究方法并结合文化语言学、地名学等相关学科的理论知识,对广西三江侗族自治县的侗语地名进行收集、转写、分类、描述和分析,试图回答以下三个问题:三江侗语地名的主要构词模式是什么?这些地名的主要命名模式是什
词汇在语言学习中起着至关重要的作用。通过阅读附带习得词汇已经被普遍认为是学习词汇最有效的途径(Krashen, Coady, Huckin, et al.)。过去的二十多年中,第二语言词汇附带
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
会议