摘要
本文提出了一种由前束析(合)取范式求前束合(析)取范式的简单方法。该方法根据谓词逻辑自身的特点,结合命题逻辑中命题公式的主析取范式和主合取范式的互补关系,将前束析(合)取范式转化为主析(合)取范式,再得出相应的主合(析)取范式,最后准确地得出前束合(析)取范式。
This paper proposes a simple method for solving prenex disjunction（conjunction） normal forms, which is based on the predicate logic＇s characteristics and the mutual-complementary relations of the major disjunction normal form and the major conjunction normal form. It changes the prenex disjunction（conjunction） normal form into the major disjunction（conjunction） normal form, and then gets the major conjunction （disjunction） normal form, and finally gets the prenex conjunction （disjunction） normal form.
出处
《计算机工程与科学》
CSCD
2008年第10期82-84,共3页
Computer Engineering & Science
基金
国家自然科学基金资助项目(10571109)
关键词
数理逻辑
谓词逻辑
范式
前束范式
propositional logic
predicate logic
normal form
prenex normal form
