离散数学24主析取范式与主合取范式

2.4 主析取范式和主合取范式

理学院 季丹丹

主要内容

一、命题逻辑部分练习 二、范式概念

三、极小项与极大项

四、主范式概念

命题逻辑练习

1、下列语句中为命题的是（ ）

A.暮春三月，江南草长。 B.这是多么可爱的风景啊 C.大家想做什么，就做什么，好吗？ D.请勿践踏草地。 2、下列语句中为命题的是（ ） A.2x+3＜5 B.天空真蓝呀！

C.2013年元旦下大雪 D.你去图书馆吗？

3、命题 P,Q真值为“0”，命题 R,S真值为“1”，则下 列 哪个命题真值为 “0”？（ ）

A (P?(Q?R))??((P?nQ)?(R?S))B ?(P?Q)??R?(((?P??Q)?R)?S)C (R?S)?(P??Q)D (S?R)?(?P?Q)4、只含

n个命题变项的命题公式共有多少种赋值（ ）

有

(P?Q)?(?P?R)的成假赋值为（ ） 5、公式

6、由n个命题变元组成不等值的命题公式的个数为( )

2.4 主析取范式和主合取范式

定义2.4.1

命题变项及其否定统称作文字（letters）。 仅由有限个文字构成的析取式称作简单析取式。仅由有限个文字构成的合取式称作简单合取式。一个文字既是简单析取式，又是简单合取式。

举例

?简单析取式举例：

p,┐q p∨┐p，┐p∨q ┐p∨┐q∨r,p∨┐q∨r ?简单合取式举例：

┐p,q ┐p∧p，p∧┐q p∧q∧┐r,┐p∧p∧q