离散数学第三讲范式与主范式.pptVIP

离散数学第三讲范式与主范式 * 讲授重点：范式与主范式的求法 讲授难点：主范式的求法 讲授内容： 1. 范式 析取范式 合取范式 2. 主范式 主析取范式 主合取范式 3. 主析取范式的个数 第三讲 范式与主范式 * 1.文字：命题变元或命题变元否定，P, ? Q； 2.质合取式：若干个文字的合取, P∧ ? Q ∧ R; 3.质析取式：若干个文字的析取, P ∨ Q ∨ ? R; 4.析取范式: 若干质合取式的析取,若与公式A等价， 则称它为A 的析取范式。 5.合取范式: 若干质析取式的合取，若与公式A等价， 则称它为A 的合取范式。 1、范式---析取范式与合取范式 合取式---称为积 析取式---称为和 * 析取范式: 合取范式: 1、范式---析取范式与合取范式 * 范式存在定理 定理1：任意一个