离散数学第1章习题答案

#include<stdio.h>
#include<stdlib.h>
#include<malloc.h>
#define MAX_STACK_SIZE 100 typedef int ElemType; typedef struct
{
ElemType data[MAX_STACK_SIZE];
int top;
} Stack;
void lnitStack(Stack *S)
{
S->top=-1;
}
int Push(Stack *S,ElemType x)
{
if(S->top==MAX_STACK_SIZE-1
)
{
printf("\n Stack is full!");
return 0;
}
S->top++;
S->data[S->top]=x;
return 1;
}
int Empty(Stack *S)
{
return (S->top==-1);
}
int Pop(Stack *S,ElemType *x)
{
if(Empty(S))
{
printf("\n Stack is free!");
return 0;
}
*x=S->data[S->top];
S_>top__;
return 1;
}
void conversion(int N)
{
int e;
Stack *S=(Stack*)malloc(sizeof(Stack));
InitStack(S); while(N)
{
Push(S,N%2);
"}
while(!Empty(S))
{
Pop(S, &e);
printf("%d ",e);
}
}
void main()
{ int n;
printf(" 请输入待转换的值n: \n");
scanf ("%d",&n);
conversion(n);
1. 判断下列语句是否是命题，为什么？若是命题，判断是简单命题还是复合命题？
(1) 离散数学是计算机专业的一门必修课。

(2) 李梅能歌善舞。

(3) 这朵花真美丽！
(4) 3 + 2>6。

(5) 只要我有时间，我就来看你。

(6) x=5o
(7) 尽管他有病，但他仍坚持工作。

(8) 太阳系外有宇宙人。

(9) 小王和小张是同桌。

(10) 不存在最大的素数。

解在上述10个句子中，(3)是感叹句，因此它不是命题。

(6)虽然是陈述句，但它没有确定的值,
(9)、因此它也不是命题。

其余语句都是可判断真假的陈述句，所以都是命题。

其中：(1)、(4)、(8)、
是简单命题，、(2)、(5) 、(7)、(10)是复合命题。

2. 判断下列各式是否是命题公式，为什么？
(1) ( P (P V Q)。

(2) ( p Q (Q P)))。

(3) (( P Q) (Q P)) o
(4) ( Q R A S。

(5) ( P V QR So
(6) (( R (Q Ri (P Q)。

解(1)是命题公式。

(2) 不是命题公式，因为括号不配对。

(3) 是命题公式。

(4)是命题公式。

(5)不是命题公式，因为QR没有意义。

⑹不是命题公式，因为R (Q R) (P Q没有意义。

3•将下列命题符号化：
(1) 我们不能既划船又跑步。

(2) 我去新华书店，仅当我有时间。

(3) 如果天下雨，我就不去新华书店。

(4) 除非天不下雨，我将去新华书店。

(5) 张明或王平都可以做这件事。

(6) “ 2或4是素数，这是不对的”是不对的。

(7) 只有休息好，才能工作好。

(8) 只要努力学习，成绩就会好的。

(9) 大雁北回，春天来了。

(10) 小张是山东人或河北人。

(1) 符号化为(P A Q，其中，P：我们划船，Q:我们跑步。

符号化为Q R,其中，R：我有时间，Q：我去新华书店。

符号化为P Q,其中，P：天下雨，Q我去新华书店。

符号化为P Q其中, P：天下雨，Q我去新华书店。

符号化为P A Q,其中, P：张明可以做这件事，Q王平可以做这件事。

符号化为(P V Q), “2或4是素数，这是不对的”是不对的，其中, P: 2是素数, 素数，。

(8)
(9) 符号化为符号化为符号化为
(10)符号化为P P,其中,
Q其中,
Q,其中,
Q其中,
P：
P：
P：
休息好，Q工作好。

努力学习，Q：成绩就会好的。

大雁北回，Q:春天来了。

P：小张是山东人，Q小张是河北人。

(1) (P V Q。

⑵P A (QV F)。

⑶(P V Q ( P A Q。

⑷P (Q P)。

解(1)
P Q P V Q (P V Q
0 0 1 0
0 10 1
1 0 1 0
1 1 1 0
4.构造下列命题公式的真值表，并据此说明哪些是其成真赋值，哪些是其成假赋值?
由真值表可知，公式
(P V Q )的成真赋值为：01,成假赋值为 00、10、11。

⑵
由真值表可知，公式 P A (QV R )的成真赋值为：101、110、111,成假赋值为 000、001、010、011
、 100。

⑶
由真值表可知，公式
(P V Q ) ( P A Q 的成真赋值为：00、01、10、11,没有成假赋值。

⑷
5. 分别用真值表法和公式法判断下列命题公式的类型: (1)( P V Q ) (P A Q )。

(2)( P A Q ) (P V Q )。

(3)(
P V
Q )
A (QV R ) A (RV P V Q )。

(4)( P A Q F )
(P A R A Q 。

(5)( Q P ) A (P A Q )。

(6)( P Q (P Q )。

(7)( P A Q )
A
(P V Q )。

解
(1)真值 1表法：
由真值表可知，公式(P V Q ( P A Q )为可满足式。

公式法：因为(P V Q )
(P A Q
(P V Q V (P A Q (
P A Q V ( P A Q ，所以，公式(P V Q (
01。

由真值表可知，公式
P A
Q为可满足式。

(2) 真值表法:
由真值表可知，公式(P A Q (P V Q)为重言式。

公式法：因为(P A Q (P V Q (P A Q) V (P V Q P V QV P V Q T,所以，公式(P A Q (P V Q 为重言式。

(3) 真值表法：
由真值表可知，公式(P V Q A (QV F) A (R V P V Q为矛盾式。

公式法：因为(P V Q A (QV F) A (RV P V Q ( P V Q A QA F A ( F A P A Q F,所以，公式(P V Q A (QV F) A (RV P V Q 为矛盾式。

(4) 真值表法：
由真值表可知，公式(P A Q & (P A F A Q为可满足式。

公式法：因为(P A Q F) (P A F A Q ( ( P A Q V R V (P A F A Q
(P A QA F) V (P A F A Q ( P A C A F)所以，公式(P A Q F) (P A F Q为可满足式。

(5) 真值表法：
由真值表可知，公式(Q P) A ( P A Q为可矛盾式。

公式法：因为(Q P) A ( P A Q ( QV P) A ( P A Q (QA P) A ( P A Q F,所以，公式为可矛
盾式。

(6) 真值表法:
由真值表可知，公式( P Q (P Q)为永真式。

公式法：因为(P Q) (P Q (( P Q A (Q P)) ((P A Q) V ( P A
Q)
(( P V Q) A ( P V Q)) (( P V Q) A (P V Q)) T
所以，公式(P Q (P Q为永真式。

(7) 真值表法：
由真值表可知，公式(P A Q A (P V Q为矛盾式。

公式法：因为(P A Q) A (P V Q (P A Q) A ( P A Q F,所以，公式(P A Q A (P V Q为矛盾式。

6. 分别用真值表法和公式法证明下列各等价式：
(1) ( P V Q A P P A Q
(2) (P V Q V ( P A Q P。

(3) ( P A Q V P P V Q
(4) P (QA F) (PQ A (P R)。

(5) ( PQ A (RQ (P V R) Q。

(6) ( P A QA A C) A (A P V QV C) (A A (P Q) C。

⑺(P Q P Q
(8) (PC) P Q
证明(1)真值表法：
由真值表可知，(P V Q) A P P A Q
公式法：(P V Q A P (P A P) V (Q A P) P A Q
(2) 真值表法：
由真值表可知，(P V Q) V ( P Q P。

公式法：(P V Q) V ( P A Q) ( P A Q) V ( P A Q P A ( QV Q) P。

(3) 真值表法：
由真值表可知，(PQ A (R Q) (P V R) Q)。

公式法：(P Q A (R Q) ( P V Q) A ( RV Q) ( P A R V Q
(P V R V Q (P V R) Q。

(6)真值表法：
P Q A C P Q (P A C A A C) A (A P V QV C) (A A (P Q)) C
0 0 0 0 1 1 1
0 0 0 1 1 1 1
0 0 1 0 1 0 0
0 0 1 1 1 1 1
0 1 0 0 0 1 1
0 1 0 1 0 1 1
0 1 1 0 0 1 1
0 1 1 1 0 1 1
1 0 0 0 0 1 1
1 0 0 1 0 1 1
1 0 1 0 0 1 1
由真值表可知，(P A QA A C ) A (A P V QV C ) (A A (P Q ) G
公式法：(P A Q A A C ) A (A P V Q V C ( P V Q V A V C A ( A V P V QV C )
(P V QV A V C ) A ( A V P V QV C )
(A A (P Q )) V C
(A A (P Q ))
C O
(7) 真值表法:
所以，若 A B,则A Bo
C 与B C 等值。

当A C 与B C 都为真时，A 和C 等值且B
(1) 若A V C B V C,则 A
B 。

⑵ 若A A C B A C,则 A B 。

⑶ 若A B ,则A B 。

⑷ 若A C
B C,则 A B 。

若A C B C,则
A Bo
解 (1)不正 确。

例如，
设有 一赋值 : A = T , B = F , C = T ,贝U A V C B V C, 但A B 不成立。

⑵ 不正确。

1 例如，设有「 赋值 宜： A = T , B = 1 -,C = F ,则 A A C B A C,但 A
B 不成立。

⑶ 正确。

因: 为 A B ( A E ) A ( B A (A V B ) A (B V A (B A ) A (A B )
7.设A B C 为任意的三个命题公式, 试问下面的结论是否正确?
A B ,
((P V
Q V A ) A ( A V P V Q )) V C
((P A Q A A V (A A P A Q ) V C (A A (( P A Q V (
P A Q ))) V C
由真值表可知, 公式法： (PQ (8)真值表法:
由真值表可知,
公式法： (PQ (P Q P Q ((P V Q)
(P A Q )
P Q
(4)不正确。

例如，设有一赋值:
A = T ,
B = F ,
C = T ,则 A C B C, B 不成立。

⑸正确。

因为，若 A C B
(P Q (
和C等值，从而A和B等值，此时A B;当A C与B C都为假时，A和C不等值且B和C也不等值，从而A和B 等值，此时A B o
总之有，若A C B C,则A Bo
8. 试给出下列命题公式的对偶式：
(1) ( P A Q) V R。

(2) T V (P A Q o
(3) ( P V Q) A F o
(4) (P A Q A ( P V Q o
解(1)对偶式为(P V Q) A Ro
(2) 对偶式为F A (P V Q) o
(3) 对偶式为(P A Q) V T o
⑷对偶式为(P V Q V ( P A Q) o
9. 分别用真值表法、分析法和公式法证明下列蕴涵式：
(1) (P Q P。

(2) ( P Q) Q P V Q
(3) P Q P (P A Q) o
(4) ( P Q) A (Q F) (P R) o
证明(1)真值表法：
由真值表可知，(P Q) P。

分析法：若(P Q)为真，则P Q为假，从而P为真，而Q为假°故(P Q P o
公式法：因为(P Q) P ( P V Q V P T,所以(P Q Po
(2)真值表法：
由真值表可知，(P Q Q P V Q
分析法：若P V Q为假，都P和Q为假，于是P Q为真，从而(P Q) Q为假。

故(P Q) Q P V Q 公式法：因为((P Q Q) (P V Q ( ( P V Q V Q) V (P V Q
((P V Q) A Q) V ( P V Q)
(P A Q) V (Q A Q) V (P V Q) (P V Q) V (P V Q
精品文档
所以，(P Q Q P V Q
(3)真值表法：
由真值表可知，P Q P (P A Q。

分析法：若P (P A Q为假，则P为真且P A Q为假，于是P为真且Q为假，从而P Q为假。

故P Q P (P A Q o 公式法：因为(P Q) (P (P A Q) (P V Q) V ( P V (P A Q
(P A Q) V
( P V (P A Q)
(P A Q) V
(
P V Q
(P A Q) V(P A Q)
T
所以，P Q P (P A Q o
(4) 真值表法：
由真值表可知，(P Q A (Q R) (PF) o
分析法：若P R为假，则P为真而R为假。

当Q为真时，Q R为假；当Q为假时，P Q为假。

从而不管Q取什么值，都有(P Q A (Q R)为假。

故(P Q A (Q F) (P R)。

公式法：因为((PC) A (Q R)) (PF) (( P V Q»A ( QV F)) V ( P V F)
(P A Q) V (QA R V P V R
(P A Q) V (( QV P V R A ( RV P V R)
(P A Q) V (QV P V R)
(P V QV P V R A ( QV QV P V R)
T
所以，(P Q A (Q & (PR o
10. 将下列命题公式化成与之等价的仅含联结词或的公式：
(1) P A (Q F) o
(2) ( P (QA R)) V P o
精品文档
解因为
((P P ) V ((Q Q )
(R R ))) V P
证明 命题P 经联结词A 和V 反复运算只能得出 P,不能得出 P,所以｛ A, V ｝不是全功能联结词组。

命题P 经联结词V 反复运算只能得出
P,不能得出 P,所以｛ V ｝不是全功能联结词组。

命题P 经联结词 反复运算只能得出 P 和P,不能得出P A Q 所以｛ ｝不是全功能联结词组。

P A Q (P Q ) (P Q (P Q
P V Q (P A Q P
Q ( P (P V P ) P P
P V Q (P Q
(P Q ) (P Q ) P A
Q
P Q
(P P ) (Q Q
所以
(1) P A (Q F) P A ( QV R )
P
(P A P ) P P
P A (( Q
(
P P ) (Q Q )
Q )) (R R )
P A (Q R )
P A (( Q Q )
(P ((( Q Q )
P A ( QV R Q Q )) (R R Q Q )) (R R)))
(P ((( Q Q )
( Q Q)
(R R )))
P A (( Q )P
((Q )P R )
(2)( P
P A (( Q Q ) P R ) (( Q Q ) P R )
(P P ) (((( Q QP R (( Q Q )P 电(((QQ )P R (( Q
(Q A R )) V P ( P V (Q A R )) V P
QP R )))
((P P ) V ((Q R ) (Q R ))) V P ((P P ) V ((Q R ) (Q R ))) V P (((P P ) (P P )) ((((Q R )
(Q R )))
((( Q R )
(Q R )))))
V P
(((((P
P ) ( P P ))
(((( Q R )
(Q R ))) ((( Q R ) (Q R )))))) (((( P P )
(P P ))((((
QR ) (QR ))) ((( Q R ) (Q R )))))))
(P P )
(P (Q A R )) V P (
P V (Q A R )) V P
(((P P ) (( Q Q ) (R R ))))(( P P ) (( QQ ) (R R ))))) V P
(((((P P )
(( Q Q ) (R R ))))
((P P ) (( QQ ) (R R )))))) P ) ((((( P
((QQ )
(R R ))))
((P P )
(( Q Q ) (R R )))))) P )
11.证明｛A,V ｝, ｛ V ｝和｛ ｝都不是全功能联结词组。

12.证明｛ , A ｝是最小全功能联结词组。

证明
因为 P V Q
(P A
Q )
P V Q
(P A Q
P Q(P Q 人(QP) (P A Q 人(Q\ P)
所以，｛, A ｝是最小全功能联结词组。

13. 完成定理1.8的证明。

证明设A为简单析取式，其包含的所有命题变元为Pl、卩2、…、P n。

若A为永真式，但不同时含有某个命题变元及其否定，则不妨设A= P i V P2 V —V P i V P i+ i V…V P n,
于是当P i、P2、…、P i的真值都是假，而P i+1、…、P n的真值都是真时，A的真值为假，与A为永真式矛盾。

反之，若A同时含有某个命题变元及其否定，显然有A为永真式。

14. 完成定理1.10的证明。

证明公式A为矛盾式当且仅当A的析取范式的每个简单合取式都是矛盾式。

由定理1.7可得，简单
合取式是矛盾式当且仅当它同时有一个命题变元及其否定。

因此，公式A为矛盾式当且仅当A的析取范式
的每个简单合取式至少同时含有一个命题变元及其否定。

15. 完成定理1.11的证明。

证明公式A为永真式当且仅当A的合取范式的每个简单析取式都是永真式。

由定理1.8可得，简单
析取式是永真式当且仅当它同时有一个命题变元及其否定。

因此，公式A为永真式当且仅当A的合取范式
的每个简单析取式至少同时含有一个命题变元及其否定。

16. 完成定理1.14的证明。

证明设A是A的合取范式，即A A。

若A的某个简单析取式A中不含命题变元P及其否定P,将A展成形式A A V T A V (P A P) (A V P) A (A V P)，继续这个过程，直到所有的简单析取式成为大项。

然后，消去重复的项及永真式之后，得到A的主合取范式。

下面证明其惟一性。

若A有两个与之等价的主合取范式B和C,则B G由B和C是A的不同的主合取范式，不妨设大项M只出现在B中而不在C中，于是i的二进制为B的成假赋值，C的成真赋值，与B C矛盾。

因而A的主合取范式是惟一的。

17. 完成定理1.15的证明。

证明设命题公式A的真值为F的赋值所对应的大项为M、M、…、M k,令B= M A M A…A M。

下证A B o
若A为假，则其赋值所对应的小项一定是M、M、…、M中的某一项，不妨设为M，因为M为假，而
M、M、…、M-1、M+1、…、M都为真，故B也为假。

若A为真，则其赋值所对应的大项一定不是M、M、…、M中的某一项，此时M、M、…、M k都为真，
故B也为假。

因此，A B o
18. 完成定理1.18的证明。

证明设A是含n个命题变元的命题公式，则：
(1) 由定理1.13可知，A的真值为T的赋值所对应的小项的析取即为此公式A的主析取范式，所以，
A为永真式当且仅当A的主析取范式含有全部2n个小项。

(2) 由定理1.13可知，A的真值为F的赋值所对应的大项的合取即为此公式的主合取范式，所以，A 为矛盾式当且仅当A的主合取范式含有全部2n个大项。

(3) 由(1)、(2)即得。

19. 分别用真值表法和公式法求下面命题公式的主析取范式与主合取范式，判断各公式的类型，并写出其相应的成真赋值和成假赋值。

(1) P (Q R)。

(2)( P V Q) Ro
(3)( P (QV R)) A ( P V (Q R) o
(4)( (P Q) A Q) V Ro
(5)( P V Q (P Q o
(6)( P Q) (P A (QV R)) o
⑺((P Q A (R P)) V (( R Q) P)
(8)(( P (P V Q) (QA R)) ( P V R)。

解(1)公式法：因为P (Q R) P V C V R
M6
m0V m1V m2V m3V m4V m6V m7
所以，公式P (Q R)为可满足式，其相应的成真赋值为000、001、010、011、100、101、111 :成
假赋值为：110。

真值表法：
、011、100、101、111:成假赋值为：110。

(2)公式法：因为(P V Q) R (P V Q V R ( P A Q) V R
(P V (Q A Q) V R)A (( P A P) V Q V R)
(P V QV R) A ( P V QV R) A(P V QV R) A( P V QV R)
M 2 A M 4 A M 6
m0 V m1 V m3 V m5
所以，公式(P V Q) R为可满足式，其相应的成真赋值为000、001、011、101、111:成假赋值为：010、100、110。

真值表法：
由真值表可知，公式(P v Q) R为可满足式，其相应的成真赋值为000、001、011、101、111 :成假
赋值为：010、100、110。

(3)公式法：因为(P (QV R)) A ( P V (Q F))
(P V QV F) A ( P V ( Q A R) V( Q A R)
(P V QV F) A ((( P V Q) A ( P V R) V ( Q A R)
(P V QV F) A ( P V QV Q) A ( P V QV R A ( P V R V Q) A ( P V R V R
(P V QV F) A ( P V QV R A ( P V QV R
M 4 A M 5 A M 6
m0V mi V m2V m3V m7
所以，公式(P (QV R)) A ( P V (Q R))为可满足式，其相应的成真赋值为000、001、010、011、111 : 成假赋值为：100、101、110。

真值表法：
由真值表可知，公式(P (QV F)) A ( P V (Q F))为可满足式，其相应的成真赋值为000、001、010、011、111:成假赋值为：100、101、110。

⑷公式法：因为((P Q) A Q) V R ( ( P V Q) A Q) V R
(P A QA Q V R
R
(QV Q A R
(Q A R) V ( Q A R)
((P V P) A Q A R) V (( P V P) A Q A R)
(P A QA F) V ( P A QA Rt V (P A QA R) V ( P A QA R)
m1V V m5V m7
M 0 A M 2 A M 4 A M 6
所以，公式（（P Q）人Q V R为可满足式，其相应的成真赋值为001、011、101、111:成假赋值为: 000、010、100、110。

真值表法：
由真值表可知，公式（（P Q）A Q V R为可满足式，其相应的成真赋值为001、011、101、111:成
假赋值为：000、010、100
、110。

（5）公式法：因为
（
P V Q (P Q)( P V Q) V (P A Q V ( P A Q)
(P A Q) V (P A Q) V ( P A Q)
m1V m2V m3
M。

所以，公式（P V Q (P Q）为可满足
式，其相应的成真赋值为01、10、11:成假赋值为：00。

真值表法:
由真值表可知，公式(P V Q) (P Q)为可满足式，其相应的成真赋值为01、10、11:成假赋值为：00。

(6)公式法：因为(PQ (P A (QV R)) ( ( P V Q) V ( P A QA F))
(P V Q) V (P A Q A F))
(P V QV P) A ( P V QV Q) A (P V QV R)
(P V Q) A (P V QV R)
(P V QV (R A R) A (P V QV R
(P V QV R A ( P V QV R A (P V QV R)
M 0A M1
m2V m3V m4V m5V m6V m7
所以，公式(P Q) (P A (QV R))为可满足式，其相应的成真赋值为010、011、100、101、110、111:成假赋值为：000、001。

真值表法：
0 0 1 0 0 1 0
0 1 0 1 0 0 1
0 1 1 1 0 0 1
1 0 0 1 1 0 1
1 0 1 0 0 0 1
1 1 0 1 1 0 1
1 1 1 1 1 0 1
由真值表可知，公式(PQ) (P A (QV F))为可满足式，其相应的成真赋值为010、011、100、101、110、111:成假赋值为：000、001。

(7)公式法:因为((P Q) A (R P)) V (( R Q) P)
(( P V Q A ( RV P)) V (( RV Q) V P)
(P V Q) V ( RV P) V (( RV Q) A P)
(P A Q) V (R A F) V ( F A P) V(Q A P)
(P A Q) V ( P A R»V ( P A R)
(P A QA (RV R)) V ( P A ( QV Q) A R V(P A (QV Q) A R
(P A QA R) V (P A Q A R) V ( P A Q A R) V ( P A Q A R) V (P A Q A F) V (P A QA R
(P A QA R) V (P A Q A R) V ( P A Q A R) V ( P A Q A R) V (P A Q A F)
m1 V m3 V m4 V m5 V m6
M0A M2A M 7
所以，公式((P Q) A (R R) V (( R Q) P)为可满足式，其相应的成真赋值为
001、011、100、
101、110:成假赋值为：000、010、111。

真值表法：
P QR ((P Q A (R P)) ((R Q P) ((P Q) A (R P)) V (( R Q) P)
0 0 0 0 0 0
0 0 1 1 0 1
0 1 0 0 0 0
0 1 1 1 0 1
1 0 0 1 1 1
1 0 1 1 1 1
1 1 0 0 1 1
1 1 1 0 0 0
由真值表可知，公式((P Q) A (R P)) V (( R Q) P)为可满足式，其相应的成真赋值为001、011、100、101、110:成假赋值为: 000、010、111。

(8)公式法：因为((P (P V Q) (QA R)) ( P V R)
((P V P V Q (Q A R)) ( P V F)
(Q A F) ( P V R)
(Q A F A (P V F)) V ( (Q A R) A ( P V R))
(Q A RA P) V (Q A RA F) V (( QV R) A P A R)
(P A Q A R) V (QA R»V ( Q A P A R»V ( F A P A R)
(P A Q A R) V (P A Q A F) V ( P A QA R»V (P A Q A F) V (P A QA R) V ( P A Q A R)
( P Q R) V (P A Q R) V (P A Q R) V (P A Q R
m3 V m4 V m6 V m7
M 0A M1A M2A M 5
所以，公式((P (P V Q) (Q A F)) ( P V R)为可满足式，其相应的成真赋值为011、100、110、111：
成假赋值为：000、001、010、101。

由真值表可知，公式((P ( P V Q) (Q\ R») ( P V R为可满足式，其相应的成真赋值为011、100、110、111:成假赋值为：000、001、010、101。

20. 使用将命题公式化为主范式的方法，证明下列各等价式：
(1) ( PQ (P A Q (Q F) A (P V Q。

(2) P A QA ( P V Q P A Q ( P V Q。

(3) (P Q (P V Q A (P A Q。

(4) ( P A Q V ( P A R) V (QA R) (P A Q V ( P A R)。

解(1)因为(P Q (P A Q ( P V Q V (P A Q
(P A C) V ( P A Q
(Q P) A (P V Q ( QV P) A (P V Q
(P A Q V ( Q Q) V (P A P) V (P A Q
(P A Q V P
(P A Q V (P A ( QV Q)
(P A Q V (P A Q) V (P A Q)
(P A Q V (P A Q)
所以，(P Q (P A Q (Q P) A (P V Q。

(2) 因为P A QA ( P V Q (P V (QA Q) A (( P A R V Q A ( P V Q
(P V Q A (P V Q A(P V Q A ( P V Q A ( P V Q
(P V Q A (P V Q A ( P V Q A ( P V Q
P A Q (P V Q) ( P V (QA Q)) A (( P A P) V Q A (P V Q)
(P V Q) A ( P V Q) A (P V Q A ( P V Q) A (P V Q)
(P V Q) A ( P V Q) A (P V Q A (P V Q)
(P V Q A (P V Q) A ( P V Q) A ( P V Q)
所以，” Q ( P V Q P Q (P V Q。

(3) 因为(P Q) (( P A Q) V ( P A Q)
(P A Q A ( P A Q)
(P V Q) A (P V Q))
(P V Q) A ( P V Q
(P V Q) A (P A Q (P V Q) A ( P V Q)
所以，(P Q (P V Q A (P A Q。

(4) ( P A Q V ( P A R) V (QA R)
(P A QA (RV R)) V ( P A (QV C) A R) V (( P V P) A Q
(P A Q R) V ( P A Q R) V ( P A Q R) V ( P A Q F) V (P A Q R) V ( P A Q F)
(P A Q F) V( P A Q A R)V(P A Q F)V(P A Q F)
(P A Q) V ( P A R)
(P A Q (RV R)) V ( P A (QV Q) A R)
(P A Q R) V ( P A Q R) V ( P A Q R) V ( P A Q F)
(P A Q F)V( P A Q A R V(P A Q F)V(P A Q F)
所以，(P A Q V ( P A R) V (QA R (P A Q V ( P A R。

21. 设计一盏电灯的开关电路，要求受3个开关A B C的控制：当且仅当A和C同时关闭或B和C 同时关闭时灯亮。

设F表示灯亮。

(1) 写出F在全功能联结词组｛｝中的命题公式。

(2) 写出F的主析取范式与主合取范式。

解(1)设A：开关A关闭；B：开关B关闭；C:开关C关闭；F= (A A C) V (B A C)。

在全功能联结词组｛｝中：
A (A A A A A
A A C (A A C(A C) (A C) (A C)
A V
B ( A A B) ((A A A ( B B>) ( A A) (B E)
所以
F ((AC) (A C)) V (( B C) (B C))
(((A C) (AC '((A C) (A C))) (((B C (B C)) ((B C) (B C)))
⑵F (A A C) V (B A C)
(A A (B V B) A C) V (( A V A) A B A C)
(A A B A C) V (A A BA C) V (A A B A C) V ( A A B A C)
m3V m5V m7主析取范式
M 0A M 1 A M 2A M 4A M6主合取范式22. 证明下列推理：
1) P V Q QV R, R S P So
3) ( P V Q)吐(P A Q)Ro
4) A (B C) , B (C D)l-A (B D)。

5) A B, A V C, C B, R Bl Ro
6) B ,C A, B A, C V D D,
7) (A V B) (P V Q , P, (B A) V PI A=
8)P (Q R), S Q P (S R o
9) (P A Q , QV R, R P o
证明1)(1) P 附加前提
(2) P V Q P
(3) Q T(1)(2)
(4) QV R P
(5) R T(3)(4) ?
(6) R S P
(7) S T(5)(6)
(8) P S CP
2)(1) P P
(2) P (Q (R A S)) P
(3) Q (R A S) T(1)(2) ,I
(4) Q 附加前提
(5) RA S T(3)(4) ,I
(6) S T(5) ,I
(7) Q S CP
3)(1) P A Q 附加前提(2) P V Q T(1) ,I
3( P V Q R P
(4) R T(2)(3) ,I
3)( P A Q R CP
4)(1) A 附加前提
(2) A (B C) P
(3) B C T(1)(2) ,I
(4) B 附加前提
(5) C T(3)(4) ,I
(6) B (C D) P
(7) C D T(4)(6) ,I
精品文档
(8) D T(5)⑺,I
(9) A (B D) CP
5)(1) A V C P
(2) A B P
(3) C B P
(4) B T(1)(2)(3) ,I
(5) R B P
(6) R T(4)(5) ,I
6)(1) B P
(2) B A P
(3) A T(1) (2) ,I
(4) C A P
(5) C T(3)(4) ,I
(6) C V D P
(7) D T(5)(6) ,I 7)(1) (A V B) (P V Q) P
(2)( P V Q) (A V E) T(1) ,E
(3) P P
(4) A V B T(2)(3) ,I
(5)( B A) V P P
(6) B A T(3)(5) ,I
(7) A V B T(6) ,E
(8)( A V B) A (A V B) T(4)(7) ,I
(9) A A (B V B T(8) ,E
(10) A T(9) ,E
8)(1) P (Q F) P
(2) P 附加前提
(3) Q R T(1) (2) ,I
(4) S Q P
(5) S R T(3)(4) ,I
(6) P (S R CP
9)(1) QV R P
(2) R P
(3) Q T(1)(2) ,I
(4) (P A Q) P
(5) P Q T(4) , E
⑹ P
T(3)(5)
, I
23.证明RV M RV S 、 M 和S 是不相容的。

证明(R V
M A ( R V S ) A M A S (R V M A ((
R A M A S ) V (S A
M A S ))
(R V M A ( R A M A S )
((F A
R A M A S ) V (M A RA
M A
S )
)
F
所以，R V M RV S 、 M 和S 是不相容的。

24.某项工作需要派 A 、B C 和D 4个人中的2个人去完成，按下面3个条件，有几种派法？如何派？ (1) 若A 去，则C 和D 中要去1个人； (2) B 和C 不能都去； (3) 若C 去，则D 留下。

解
设A: A 去工作；B: B 去工作；C ： C 去工作；D: D 去工作。

则根据题意应有： A C
D, (B A
C ) , C
D 必须同时成立。

因此
(A C D A (B A C ) A (C
D
(A V (C A D ) V ( C A D) A ( BV C ) A ( C V D )
(A V (C A D ) V ( C A D )) A (( B A C V ( BA D ) V C V ( C A D )) (A A B A
C ) V (
A A
B A
D ) V ( A A
C ) V ( A A C A
D
V (C A D A
B A
C )
V (C A D A BA D ) V (C A D A C )
V (C A D A C A D )
V ( C A DA B A C ) V ( C A DA BA D ) V ( C A DA C ) V ( C A DA C A D
F V F V ( A A C V F V F V (C A D A B )V F V F V ( C A DA B ) V F V ( C A D ) V
F ( A A C V ( B A C A D ) V ( C A D A
B I V (
C A
D )
(
T
故有二种派法：
A A C V (
B A
C A
D ) V ( C A D )
B A D, A A C, A A Db
25.在某次研讨会的休息时间，
3名与会者根据王教授的口音分别作出下述判断：
甲说：王教授不是苏州人，是上海人。

乙说：王教授不是上海人，是苏州人。

丙说：王教授既不是上海人，也不是杭州人。

王教授听后说：你们 3人中有一个全说对了，有一人全说错了，还有一个人对错各一半。

试判断王教 授是哪里人？
解 设设P:王教授是苏州人； Q 王教授是上海人； R 王教授是杭州人。

则根据题意应有：
甲：P A Q
乙：QA P
丙：QA R
王教授只可能是其中一个城市的人或者3个城市都不是。

所以，丙至少说对了一半。

因此，可得甲或乙必有一人全错了。

又因为，若甲全错了，则有QA P,因此，乙全对。

同理，乙全错则甲全对。

所以丙
必是一对一错。

故王教授的话符号化为：
((P A Q A (( QA F) V ( QA R))) V (( Q A P) A ( Q F))
(P A QA QA R) V ( P A Q A Q A R) V ( Q A P A QA R)
(P A QA R V ( P A Q A R)
P A Q A R
T
因此，王教授是上海人。

26.判断下述推理是否正确：
1) 如果2是偶数，则3是奇数。

或者2是偶数或者2整除3,结果2整除3，所以3不是奇数。

2) 如果A努力工作，那么B或C感到愉快；如果B愉快，那么A不努力工作；如果D愉快那么C不愉快。

所以，如果A努力工作，则D不愉快。

解1)设A: 2是偶数；B: 3是奇数，C: 2整除3;则推理化形式为：
A B, A V C, C B
该推理形式不正确。

例如，设有一赋值：A= F, B= T, C= T,则A B、A V C C都为真，但B为假。

2)设A: A努力工作；B、C D分别表示B、C D愉快；则推理化形式为：
A BV C
B A, D
C A D
该推理形式正确。

下面给出证明：
⑴A 附加前提
⑵A B V C P
(3) BV C T(1)(2)
⑷B A P
⑸A B T(4) ,E
⑹B T(1)(5)
⑺C T(3)(6)
(8) D C P
(9) D 丁⑺(8)
(10) A D CP。