习题1.3最新
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
§1.3 命题公式的范式
习题1.3
1. 下列命题公式哪些是析取范式哪些是合取范式？ （1）)()(r q q p ∧∨⌝∧⌝ （2）)()(q p q p ∨⌝∧⌝∨ （3）q r p ∨⌝∧⌝)( （4）q q p ⌝∧∨)( （5）q p ∨⌝ （6）r q p ⌝∧⌝∧⌝ （7）p ⌝ （8）q
（9）1
（10）0
解 是析取范式的有：(1)、(3)、（5）、（6）、(7)、 (8)、（9）、（10）；是合取范式有：（2）、（4）、（5）、（6）、(7)、 (8)、（9）、（10）。
2. 在下列由3个命题变元r q p 、、组成的命题公式中，指出哪些是标准析取范式哪些是标准合取范式？ （1）)()(r q p r q p ∧∧⌝∨∧⌝∧⌝ （2）)()(r q p r q p ∨∨⌝∧⌝∨⌝∨ （3）q r q p ∨⌝∧⌝∧⌝)( （4）)()()(r q r p q p ∨∧⌝∨⌝∧∨ （5）r q p ⌝∨∨⌝ （6）r q p ⌝∧⌝∧⌝
（7）1
（8）0
解 是标准析取范式的有：（1）、（6）、（8）；是标准合取范式的有：（2）、（5）、（7）。
3. 找出一个只含命题变元p 、q 和r 的命题公式，当p 和q 为真而r 为假时命题公式为真，否则为假。
解 r q p ⌝∧∧。
4. 找出一个只含命题变元p 、q 和r 的命题公式，在p 、q 和r 中恰有两个为假时命题公式为真，否则为假。
解 ))()()(r q p r q p r q p ∧⌝∧⌝∨⌝∧∧⌝∨⌝∧⌝∧。
5. 利用等价演算法求下列命题公式的标准析取范式，并求其成真赋值。 （1）)()(p q q p ∨⌝→→⌝
（2）r q q p ∧∧→⌝)(
（3）)())((r q p r q p ∨∨→∧∨
解（1） )()(p q q p ∨⌝→→⌝
)()(p q q p ∨⌝∨∨⌝= p q q p ∨⌝∨⌝∧⌝=)(
)()()()()(q p q p q p q p q p ∧∨⌝∧∨⌝∧⌝∨⌝∧∨⌝∧⌝= )()()(q p q p q p ∧∨⌝∧∨⌝∧⌝=
除0=p ，1=q 外，其余均为成真赋值。
(2) r q q p ∧∧→⌝)(r q q p ∧∧∨⌝⌝=)(r q q p ∧∧⌝∧=0= 这是永假式，不存在成真赋值。 (3) )())((r q p r q p ∨∨→∧∨
r q p r q p ∨∨∨∧∨⌝=))(( r q p r q p ∨∨∨⌝∨⌝∧⌝=))(( r q p r p q p ∨∨∨⌝∧⌝∨⌝∧⌝=)()(
)()()()(r q p r q p r q p r q p ⌝∧∧⌝∨⌝∧⌝∧⌝∨∧⌝∧⌝∨⌝∧⌝∧⌝= )()()()(r q p r q p r q p r q p ∧∧∨⌝∧∧∨∧⌝∧∨⌝∧⌝∧∨ )()()()(r q p r q p r q p r q p ∧∧∨⌝∧∧∨∧∧⌝∨⌝∧∧⌝∨ )()()()(r q p r q p r q p r q p ∧∧∨∧⌝∧∨∧∧⌝∨∧⌝∧⌝∨ )()()()(r q p r q p r q p r q p ∧∧⌝∨⌝∧∧⌝∨∧⌝∧⌝∨⌝∧⌝∧⌝= )()()()(r q p r q p r q p r q p ∧∧∨⌝∧∧∨∧⌝∧∨⌝∧⌝∧∨
这是永真式，所有赋值都是成真赋值。
6. 利用等价演算法求下列命题公式的标准合取范式，并求其成假赋值。 （1）p q p ⌝∧⌝→⌝)(
（2）)()(r p q p ∨⌝∨∧
（3）r q p p ∨∨→))((
解 （1）p q p ⌝∧⌝→⌝)(p q p ⌝∧⌝∨⌝⌝=)(p q p ⌝∧∧=)(0= 这是永假式，所有赋值都是成假赋值。 （2）)()(r p q p ∨⌝∨∧
)()()()(r q p q r p p p ∨∧⌝∨∧∨∧⌝∨=
)()()()()()(r q p r q p r q p r q p r q p r q p ∨∨⌝∧∨∨∧⌝∨∨⌝∧∨∨⌝∧∨⌝∨∧∨∨=)()()()(r q p r q p r q p r q p ⌝∨∨⌝∧∨∨⌝∧∨⌝∨∧∨∨=
成假赋值为：0,0,0===r q p ；0,1,0===r q p ；
0,0,1===r q p ；1,0,1===r q p
（3）r q p p ∨∨→))((r q p p ∨∨∨⌝=1= 这是永真式，不存在成假赋值。
7. 利用真值表法求下列命题公式的标准析取范式和标准合取范式。 （1）)(q p →⌝
（2）)()(q p q p ⌝↔→∨⌝
（3）r q p →→)(
（4）))(())((r q p r q p ⌝∧⌝→⌝∧∧→
解 （1）
所以标准析取范式为
q p m ⌝∧=10
标准合取范式为
)()()(110100q p q p q p M M M ⌝∨⌝∧⌝∨∧∨=∧∧
（2）
所以标准析取范式为
)()(1001q p q p m m ⌝∧∨∧⌝=∨
标准合取范式为
)()(1100q p q p M M ⌝∨⌝∧∨=∨
（3）
所以标准析取范式为
111101100011001m m m m m ∨∨∨∨
)()()()()(r q p r q p r q p r q p r q p ∧∧∨∧⌝∧∨⌝∧⌝∧∨∧∧⌝∨∧⌝∧⌝=
标准合取范式为
)()()(110010000r q p r q p r q p M M M ∨⌝∨⌝∧∨⌝∨∧∨∨=∧∧
（4）
所以标准析取范式为
)()(111000r q p r q p m m ∧∧∨⌝∧⌝∧⌝=∨
标准合取范式为
110101100011010001M M M M M M ∧∧∧∧∧
)
()()()()()(r q p r q p r q p r q p r q p r q p ∨⌝∨⌝∧⌝∨∨⌝∧∨∨⌝∧⌝∨⌝∨∧∨⌝∨∧⌝∨∨=
8. 假定用n 个命题变元给出一个真值表。证明可依据此表构造一个命题公式，使其真值与此表一致。