极小项

作品数：16被引量：17H指数：2
导出分析报告
相关领域：理学更多>>
相关作者：王廷明张型岱韦宁郁国瑞陈勇明更多>>
相关机构：青岛大学牡丹江师范学院河北能源职业技术学院成都信息工程大学更多>>
相关期刊：《计算机工程与应用》《数学的实践与认识》《技术与教育》《武夷学院学报》更多>>
相关基金：中央高校基本科研业务费专项资金安徽省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
系统L中τ(A→X)≥α型逻辑不等式的解问题
《计算机工程与应用》2012年第16期44-46,50,共4页王廷明 
二值命题逻辑L中τ(A→X)≥α型基于真度的逻辑不等式在二值命题逻辑系统L的近似推理研究中有着重要应用。通过F(Sn)中公式是逻辑不等式τ(A→X)≥α解的几个充要条件,给出了该逻辑不等式的解集表示及其按真度相等关系和逻辑等价关系的...
关键词：二值命题逻辑 逻辑不等式 真度 极小项 解集 
主范式的计算方法及其在命题公式中的作用被引量：2
《宜春学院学报》2011年第4期39-40,共2页吕诚 孙秀华 吕敏 
安徽省自然基金项目资助(KJ2011z057);中央高校基本科研业务专项资金资助(CUSF)
针对数理逻辑中主范式的求解难度较大、方法繁琐,充分利用极小项与极大项的特征及其与二进制数的关系,综合求解主范式的各种传统方法,给出较为简洁实用的计算方法。同时系统论述两种主范式在命题逻辑中对于理解和分析命题公式诸多方面...
关键词：主析取范式 主合取范式 极小项 极大项 命题公式 
二值命题逻辑中逻辑方程τ(A→X)=m/2~n解集的结构被引量：2
《模糊系统与数学》2011年第1期19-24,共6页王廷明 
二值命题逻辑中τ(A→X)=α型逻辑方程在有限理论结论集的结构以及近似推理研究中有着重要应用。给出了二值命题逻辑中公式是逻辑方程τ(A→X)=m2n解的几个充要条件,得到了该逻辑方程的解集分别按真度相等关系和逻辑等价关系的分类定理...
关键词：二值命题逻辑 逻辑方程 真度 极小项 解集 
二值命题逻辑中有限理论带误差结论集的结构被引量：1
《模糊系统与数学》2010年第3期11-15,共5页王廷明 
二值命题逻辑系统中理论Г的带误差结论集是近似推理研究的基本对象,对其结构进行分析是近似推理研究中需要解决的问题。通过公式是有限理论Г的带误差结论的充要条件,利用集合划分方法,对有限理论Г的带误差结论集分别基于真度相等关...
关键词：二值命题逻辑 有限理论 极小项 真度 逻辑等价 
关于主范式的下标集合及其应用被引量：1
《青岛理工大学学报》2009年第4期205-208,共4页亓正坤 王廷明 
极小项和极大项是主范式问题的核心,体现了命题公式的成真赋值和成假赋值以及公式类型等诸多特征.讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件.并...
关键词：主范式 极小项 极大项 下标 
主析取范式的快速求法
《科教文汇》2008年第35期276-276,共1页汤燕 
针对主析取范式在命题逻辑中的作用,在文献[1]的理论基础上,给出了主析取范式的快速求法,这个快速求法能够准确快速求出一个命题公式的主析取范式。
关键词：主析取范式 析取范式 简单合取式 极小项 
命题公式主范式的二进制求法
《电力学报》2008年第3期182-183,共2页施泱 
命题公式主范式在数理逻辑中有重要作用,其方法论也颇具价值。针对解决求主析取范式的传统方法比较繁琐的情况,通过对极小项下标特征的讨论,利用二进制给出了由命题公式的析取范式确定主析范式中的二进制求法,从而简化了由繁杂的命题公...
关键词：主析取范式 极小项 基本积 
布尔代数中的积和范式
《毕节学院学报（综合版）》2007年第4期38-40,共3页薛朝奎 
研究了布尔代数中求积和范式与和积范式的方法,证明了:α(x)=[α(0)*x′]+[α(1)*x]和α(x1,x2,…,xn)=1∑1 a1=0 1∑1 a2=0…1∑1 an=0[α(a1,a2,…,na)*X1a1*X2a2*…*Xnan]通过实例验证,此法在计算时思路清晰,大大提高了求解此类问题...
关键词：极小项 极大项 布尔代数 范式 对偶原理 
关于主范式中极小项和极大项的下标算法被引量：2
《青岛理工大学学报》2006年第2期118-121,共4页王廷明 
通过极小项和极大项的下标特征的讨论,给出了由命题公式的析取范式、合取范式而确定的主析取范式、主合取范式中的极小项、极大项的下标计算方法,从而简化了由繁杂的命题公式推演或真值计算求主范式的计算过程.
关键词：极小项 极大项 主范式 
命题逻辑中主范式的求法
《河北理工学院学报》2005年第4期92-94,共3页韦宁 王恩亮 郁国瑞 
求主析取范式包括真值表法、推演法以及用真值表法求G的主析取范式、用推演法求G的主合取范式等四种方法。用极小项的性质给出了真值表求法的证明,用公式相等的定义证明了求G的主析取范式的定理。
关键词：极小项 主析取范式 真值表 推演法 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部