极大项

作品数：24被引量：57H指数：4
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：张型岱王安斌王强刘磊王道林更多>>
相关机构：吉林大学牡丹江师范学院湖南理工学院泰山学院更多>>
相关期刊：《计算机工程与设计》《山东师范大学学报（自然科学版）》《数学的实践与认识》《东北大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金国家教育部博士点基金吉林省科技发展计划基金湖南省教育厅重点项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 主题=极小项x
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
主范式的计算方法及其在命题公式中的作用被引量：2
《宜春学院学报》2011年第4期39-40,共2页吕诚 孙秀华 吕敏 
安徽省自然基金项目资助(KJ2011z057);中央高校基本科研业务专项资金资助(CUSF)
针对数理逻辑中主范式的求解难度较大、方法繁琐,充分利用极小项与极大项的特征及其与二进制数的关系,综合求解主范式的各种传统方法,给出较为简洁实用的计算方法。同时系统论述两种主范式在命题逻辑中对于理解和分析命题公式诸多方面...
关键词：主析取范式 主合取范式 极小项 极大项 命题公式 
关于主范式的下标集合及其应用被引量：1
《青岛理工大学学报》2009年第4期205-208,共4页亓正坤 王廷明 
极小项和极大项是主范式问题的核心,体现了命题公式的成真赋值和成假赋值以及公式类型等诸多特征.讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件.并...
关键词：主范式 极小项 极大项 下标 
布尔代数中的积和范式
《毕节学院学报（综合版）》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年第1期16-17,共2页陈玉霞 
在已知主合(析)取范式时,通过证明,给出求主析(合)取范式的方法:求(1)G(-P1, -P2,…,-Pn);(2)G·(-P1,-P2,…,-Pn);(3)-G·(-P1,-P2,…,-Pn)
关键词：主合取范式 主析取范式 极大项 极小项 对偶 命题公式 代换实例 
主范式的运算性质被引量：4
《数学的实践与认识》2004年第4期118-121,共4页张型岱 张格华 
研究了极大项、极小项的运算性质 ,利用这些性质给出了求 A,A∨ B,A∧ B,A→ B,A B的主范式的公式 ,由此可用程序化的方法求任意公式的主范式 .
关键词：主范式 极大项 极小项 主合取范式 主析取范式 数理逻辑 
主范式的运算性质
《牡丹江师范学院学报（自然科学版）》2002年第3期20-21,共2页张型岱 
文[6]研究了极大项、极小项的运算性质,本文研究公式的主范式的运算,给出求A,A ∨ B,A ∧ B,A→B,AB的主范式的公式,由此可用程序化的方法求任意公式的主范式。
关键词：极小项 极大项 主析取范式 主合取范式 主范式 运算性质 逻辑公式 
极小项与极大项的运算性质被引量：5
《牡丹江师范学院学报（自然科学版）》2001年第4期1-2,共2页张型岱 臧波 
研究了极小项、极大项的运算性质,给出了一组运算公式,利用这些运算公式可以使求命题公式的主范式运算更简洁。
关键词：极小项 极大项 主析取范式 主合取范式 数理逻辑 主范式运算 运算公式 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部