命题逻辑主析取(合取)范式的代数化求解

• 作者: 张月岭 王金亮 许艳丽 赵俊雅
• 来源期刊: 聊城大学学报（自然科学版）
• 学科: 数学
• 关键词: 命题公式 真值函数 范式
• 年，卷（期）: 2010,（2）
• 页码范围: 100-102
• 分类号: O141.1
• 字数: 2773字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-6634.2010.02.024

摘要

利用纯代数的方法,通过命题公式与多项式方程组的对应关系,再由方程组的解转化为相应的极大项、极小项,最后得到命题公式的主析取范式及主合取范式.该方法思路规范、简单,便于计算机程序化.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张月岭	聊城大学计算机学院	5	9	2.0	3.0
2	王金亮	聊城大学计算机学院	6	40	3.0	6.0
3	许艳丽	聊城大学计算机学院	4	7	1.0	2.0
4	赵俊雅	聊城大学计算机学院	2	25	1.0	2.0