关键词: 数理逻辑 谓词逻辑 范式 前束范式

Abstract:

This paper proposes a simple method for solving prenex disjunction（conjunction） normal forms, which is based on the predicate logic＇s characteristi cs 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.

Key words: propositional logic, predicate logic, normal form, prenex normal form