第三节范式 ●范式指的是命题公式规范的表示形式有两种 范式即析取范式与合取范式,概念和结论有: 1文字、子句、短语、析取范式、合取范式、主 析取范式、主合取范式、对偶式、对偶原理、 极大项、极小项的定义; 2.任公式必有与之等价的合取范式和析取范 式 3.任意公式都存在惟一的与之等价的主析取范 式; 4我们还介绍了析取范式、合取范式、主析取范 式、主合取范式的求法及范式的简单应用 返回本章首页 2021/1212021/1/21 4 第三节 范式 ⚫ 范式指的是命题公式规范的表示形式,有两种 范式,即析取范式与合取范式, 概念和结论有: 1.文字、子句、短语、析取范式、合取范式、主 析取范式、主合取范式、对偶式、对偶原理、 极大项、极小项的定义; 2. 任一公式必有与之等价的合取范式和析取范 式; 3. 任意公式都存在惟一的与之等价的主析取范 式; 4.我们还介绍了析取范式、合取范式、主析取范 式、主合取范式的求法及范式的简单应用 返回本章首页