命题公式主范式的自动生成与形式输出

Automatic Generation and Formal Output of Special Normal Forms of Propositional Formulae

在文[1]和文[2]的基础上,给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法,并实现了多个命题公式主范式的同时形式化输出.

Based on paper [1] and [2-] ,this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally.