一种求解前束析(合)取范式的简单方法

• 作者: 丁志军 潘美芹
• 来源期刊: 计算机工程与科学
• 学科: 数学
• 关键词: 数理逻辑 谓词逻辑 范式 前束范式
• 年，卷（期）: 2008,（10）
• 所属期刊栏目: 离散数学理论与应用
• 页码范围: 82-84
• 页数: 3页
• 分类号: O158
• 字数: 3084字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2008.10.028

摘要

本文提出了一种由前束析(合)取范式求前束合(析)取范式的简单方法.该方法根据谓词逻辑自身的特点,结合命题逻辑中命题公式的主析取范式和主合取范式的互补关系,将前束析(合)取范式转化为主析(合)取范式,再得出相应的主合(析)取范式,最后准确地得出前束合(析)取范式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	丁志军	山东科技大学信息科学与工程学院	16	105	5.0	9.0
2	潘美芹	山东科技大学信息科学与工程学院	11	31	3.0	5.0