离散数学1.4范式-1.pdfVIP

§1.3 范 式 一个公式有很多的等价形式,但是有没有一个标准的形式呢?这 就是我们要介绍的公式的范式。 先要介绍基本积和基本和的概念。此处用积表示合取，用和表 示析取 。 1、基本积：命题公式中的变元及变元否定之积，称为基本积。 如：P、PQ、PQ、PQP 2、基本和：命题公式中的变元及变元否定之和，称为基本和。 如：P、PQ、PQ、PQP 1 定理： 一个基本积是永假式, 当且仅当它含有P , P形式 的两个因子。  证 （充分性） P∧P是永假式, 而Q∧F F, 所以含有P 和P形式的两个因子时, 此基本积是永假式。 （必要性） 用反证法。设基本积永假但不含P和P形式的 两个因子, 则给这个基本积中不带否定符的命题变元指派真值T, 带有否定符的命题变元指派真值F, 得基本积的