摘要:本文介绍了命题公式的主合取范式基本定义和主合取范式相关的一些定理，并对它也作了相应的解释；在此基础上，探讨了命题公式主合取范式的求法，并举出相应的例子。最后，具体给出了主合取范式的的应用，并联系实际对这些应用加以阐述。84496

毕业论文关键词:主合取范式;极大项;真值表;推演法（求法)

Propositional Formula in Conjunctive Paradigm

Abstract:This article describes the main propositional formula conjunctive normal basic definitions and theorems main CNF-related, and it also made the appropriate interpretation; on this basis, to explore the proposition Formulae CNF method for finding, citing relevant examples last。 particularly given the primary CNF applications and practice elaborated on these applications。 

Key words: Main CNF;Maximum item;Table deduction;Method (Seeking)

目    录

摘  要 1

引言 2

1。预备知识 3

1。1主合取范式的相关概念 3

2。求法简述 3

2。1求合取范式的一般步骤 3

2。2求主合取范式的一般步骤 4

2。3真值表法 5

3。主合取范式的用途 6

3。1求公式的成真与成假赋值 6

3。2判断公式的类型 7

3。3判断两个命题公式是不是等值 7

4。真值表和主合取范式的关系 8

5。结束语 8

参考文献 9

致谢 10

命题公式的主合取范式

引言

离散数学在每个学科领域，尤其是信息科学和工程、计算机科学和技术等范围都有着十分广泛的应用，与此同时离散数学也是很多专业课非常重要的先导课程。 而逻辑学中的命题公式的主合取范式又是离散数学很重要的内容。 论文网

命题公式的主合取范式在数学应用中具有很重要的意义，让命题公式变得规范化是它的主要目的，这样就方便于我们判断两个命题公式之间是不是等值的，命题公式的主合取范式还有一个用途是用来判别某一个命题公式是可满足式还是矛盾式，以及求解命题公式的成真赋值、成假赋值等。 

现在有许多命题公式的主合取范式相关的文章，它们讨论了主合取范式的求法及应用，但是仍有一些缺陷。例如，吴双权的文献[1][离散数学中的主合取范式]中介绍了四种求主合取范式的方法但是没能充分具体给出了主合取范式的的应用，胡纪华的文献[2][几类主范式在命题推理正确性判断中的应用]中没能具体探讨命题公式主合取范式的求法，在文献[11]和[12]虽然也对命题公式的主合取范式有相应的介绍，但是介绍的逻辑性不够强且内容不够完善。本文在上述文献的基础上，对命题公式的主合取范式的求法及其应用都进行了详细的归纳和总结，使命题公式的主合取范式有了更深刻的认识，同时也具有一定的理论意义和实践价值。文献综述

1。预备知识

1。1主合取范式的相关概念

(1)简单合取式

 定义：简单合取式是仅仅由有限个命题变项或者由否定构成的合取式。

(2)合取范式