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

* 范式存在定理 定理1：任意一个命题公式A都存在与之等价的 析取范式和合取范式。 1、范式---析取范式与合取范式 0.0 * 1)、化成限定性公式；A中→，?化成 ? ，∧，∨； 析取范式 合取范式 ∨对∧的分配律 （合取范式） E11: ?(P∧Q) ? ?P∨ ?Q; E10: ?(P∨Q) ? ?P∧ ?Q ? ? P?P 1、范式---析取范式与合取范式 2)、将否定联结词?移到命题变量的前面, 摩根律E10,E11； 3)、消除多余的否定联结词，双否定律 4)、用∧对∨的分配律化成，析取范式。 常用公式 0.0 * 任给一个命题公式A,经过以上四步演算,即得到一个与A等值的析取范式或合取范式. 任何命题公式的析取范式和合取范式都不是唯一的 1、范式---析取范式与合取范式 0.0 * 2、主范式-主析取范式与主合取范式 特殊的质合取式 1. 小项 极小项定义： 0.0 * 例如：2 个变元P , Q 可构造 4 个极小项 2、主范式 极小项的个数：n个命题变元可以构成 个极小项。 我们把对应的十进制数当作足标, 用mi表示这一项, 即 0.0 * 2、主范式 一般，n个变元的极小项是: 0.0 * 2、主范式 2.主析取范式: 若干个极小项的析取,若与公式A等价，则称它为A 的主析取范式。 求命题公