命题逻辑主析取(合取)范式的代数化求解
王金亮
许艳丽
赵俊雅
张月岭
1.聊城大学,计算机学院,山东,聊城,2520592.聊城大学,计算机学院,山东,聊城,2520593.聊城大学,计算机学院,山东,聊城,2520594.聊城大学,计算机学院,山东,聊城,252059
摘要：利用纯代数的方法,通过命题公式与多项式方程组的对应关系,再由方程组的解转化为相应的极大项、极小项,最后得到命题公式的主析取范式及主合取范式.该方法思路规范、简单,便于计算机程序化.
关键词：命题公式真值函数范式
分类号：O141.1(数理逻辑、数学基础)
论文发表日期：2010-01-01
在线出版日期：2026-08-28（本平台首次上网日期，不代表文献的发表时间）
页数：3( 100-102 )