期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
关于主范式中极小项和极大项的下标算法 被引量:2
1
作者 王廷明 《青岛理工大学学报》 CAS 2006年第2期118-121,共4页
通过极小项和极大项的下标特征的讨论,给出了由命题公式的析取范式、合取范式而确定的主析取范式、主合取范式中的极小项、极大项的下标计算方法,从而简化了由繁杂的命题公式推演或真值计算求主范式的计算过程.
关键词 极小项 极大项 主范式
下载PDF
逻辑函数及最小项与最大项运算规则研究 被引量:1
2
作者 方天申 《信阳师范学院学报(自然科学版)》 CAS 2001年第2期170-171,共2页
根据逻辑函数最小项和最大项定义 ,探讨其运算规律 ,得出几个运算规则公式 根据这些公式 。
关键词 最小项 最大项 运算规则 逻辑函数 运算性质 逻辑设计
下载PDF
主范式的运算性质 被引量:4
3
作者 张型岱 张格华 《数学的实践与认识》 CSCD 北大核心 2004年第4期118-121,共4页
研究了极大项、极小项的运算性质 ,利用这些性质给出了求 A,A∨ B,A∧ B,A→ B,A B的主范式的公式 ,由此可用程序化的方法求任意公式的主范式 .
关键词 主范式 极大项 极小项 主合取范式 主析取范式 数理逻辑
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部