范式离散数学.ppt

@武溪大字m 23范式 ■2.3.1析取范式与合取范式 简单析取式与简单合取式 ■析取范式与合取范式 ■2.3.2主析取范式与主合取范式 极小项与极大项 主析取范式与主合取范式 主范式的用途  @武溪大字m 23.1析取范式与合取范式 1、简单析取式与简单合取式 (1)文字 命题变元及命题变元的否定称为文字,并称命题变 元为正文字,命题变元的否定为反文字 如P、-q等。  @武溪大字m (2)简单析取式与简单合取式 简单析取式(基本和):由有限个文字构成的析取式。 如p,-q,PV-q, pvaV,… 简单合取式(基本积):由有限个文字构成的合取式。 如p,-q,p∧-q,pAq  @武溪大字m (3)一般形式 简单析取式的一般形式为:P4P P 其中,1≤≤nb(1≤j≤m为0或1。 简单合取式的一般形式为:P八PA…AP 其中,1≤≤n,b(1≤j≤m)为0或1。 在上述表达式中,当b=1时取P的正文字,b=0时取 P的反文字  @武溪大字m (4)简单析取式与简单合取式的性质 定理23(1)一个简单析取式是重言式当且仅当它同时含 某个命题变元和它的否定 (2)一个简单合取式是矛盾式当且仅当它同时含某个命题 变元和它的否定。