离散数学导论第一章命题演算及其形式系统.ppt

第一章 命题演算及其形式系统 1.3 范式 1.3.1 析取范式和合取范式 文字(letters)：指命题常元、变元及它们的否定， 前者又称正文字，后者则称负文字。 析取子句(disjunctive clauses)：指文字或若干文字 的析取。 合取子句(conjunctive clauses)：指文字或若干文字的合取。 互补文字对(complemental pairs of letters) ： 指形如L，┐L（L为文字）的一对字符。 第一章 命题演算及其形式系统 1.3 范式 1.3.1 析取范式和合取范式 ◆定义1.6 命题公式A‘称为公式A的析取范式 （disjunctive normal form），如果 （1）A┝┥A （2）A为一合取子句或若干合取子句的析取。 ◆定义1.7 命题公式A‘称为公式A的合取范式 （conjunctive normal form）如果 （1）A┝┥A （2）A为一析取子句或若干析取子句的合取。 第一章 命题演算及其形式系统 1.3 范式 1.3.2 主析取范式与主合取范式 ◆定义1.8 设A为恰含命题变元p1,…,pn的公式。 公式A,称为A的主析（合）取范式 （majordisjunctive（conjunctive）normal form）， 如果A,是