第三讲--范式与主范式.ppt

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