主析取范式的求法及其应用.docVIP

主析取范式的求法及其应用 杨菲 （天津市河西区职工大学，天津市300203） 摘要：本文综述了求主析取范式的三种主要方法，即推演法、真值表法、构造树法，并从经典例题入手分析了三种方法的应用技巧。 关键词：主析取范式 推演法 真值表法 构造树法 命题公式的主析取范式在数理逻辑学中具有十分重要的意义，其求解的主要目的在于使命题公式规范化，从而有利于判断两个命题公式是否等值，并且还可以判断一个公式是重言式（永真式）还是矛盾式（永假式）。鉴于主析取范式求解的重要意义，本文综述了求主析取范式的方法及各种方法的应用技巧。 1 相关概念 1.1 极小项 为了阐明主析取范式的概念，首先介绍一下极小项的相关理论内容。 定义：个命题变元组成的合取式，该式中要包含所有这个变元或它的否定，则称这个合取式为关于这个命题变元的极小项。 性质：（1）对于个原子而言，其所有的极小项共有个。 (2) 每个小项当其真值指派与编码相同时，其真值为T，在其余种指派情况下均为F。 1.2 主析取范式 定义：对于一个给定的命题公式，若有一个由小项的析取组成的命题公式与其等价，则称该等价式为给定命题公式的主析取范式。 定理1. 对于任何一个命题公式，其主析取范式存在且唯一。（证明略） 2 主析取范式的求法解析 2.1 推演法 对于给定命题公式的主析取范式可由推演法求出，其主要步骤归纳为： (1)