摘要
在文[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.
出处
《甘肃联合大学学报(自然科学版)》
2006年第5期49-52,共4页
Journal of Gansu Lianhe University :Natural Sciences
关键词
命题公式
主析取范式
主合取范式
自动生成
形式输出
propositional formula
special conjunctive normal form
special disjunctive normal form
automatic generation
formal output