命题公式主范式的二进制求法

• 作者: 施泱
• 来源期刊: 电力学报
• 学科: 数学
• 关键词: 主析取范式 极小项 基本积
• 年，卷（期）: 2008,（3）
• 页码范围: 182-183
• 页数: 2页
• 分类号: O158
• 字数: 861字
• 语种: 中文
• DOI: 10.3969/j.issn.1005-6548.2008.03.003

摘要

命题公式主范式在数理逻辑中有重要作用,其方法论也颇具价值.针对解决求主析取范式的传统方法比较繁琐的情况,通过对极小项下标特征的讨论,利用二进制给出了由命题公式的析取范式确定主析范式中的二进制求法,从而简化了由繁杂的命题公式推演或真值表计算求主析取范式的计算过程,给出了求命题公式主析取范式的简便求法--表格法.该法稍做变动后,对求主合析取范式同样适用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	施泱	山西大学工程学院	9	3	1.0	1.0