离散数学-命题逻辑-4-左孝凌.pdfVIP

析取范式与合取范式 定义1-7.2 由一些命题变元或其否定构成的析取式 称为基本和，也叫简单析取式。约定单个变元或 其否定是基本和。 例 ¬p∨q、p∨¬q、p∨q、¬q、¬p、q都是基本和。 定义1-7.3 由一些命题变元或其否定构成的合取式 称为基本积，也叫简单合取式。约定单个变元或 其否定是基本积。 例 ¬p∧q、p∧¬q、p∧q、¬p、¬q、p都是基本积。 析取范式与合取范式 定义1-7.4 由基本和的合取构成的公式叫做合取范 式。约定单个基本和是合取范式。 例如 P,P∨R,P∧Q,(P∨Q)∧R,(P∨Q)∧(Q∨R) 是合取范式。 定义1-7.5 由基本积的析取构成的公式叫做析取范 式。约定单个基本积是析取范式。 例如 P,P∨R,P∧Q,(P∧Q)∨R,(P∧Q)∨(Q∧R) 是析取范式。 求析取范式和合取范式的步骤 任何命题公式都可以化成与其等价的析取范式 或合取范式。求析取范式和合取范式的步骤如 下： ⑴ 消去联结词“→”和“↔” ⑵ 利用双重否定律消去否定联结词“¬”或利用德 摩根律将否定联结词“¬”移到各命题变元前(¬ 内移)。 ⑶ 利用分配律，结合律将公式归约为合取范式和