bcbdcd；
2关系图
a
d
a
d
bc
b
c
rR
11G＝P∧Q∨P∧Q∧R
sR
＝P∧Q∧R∨P∧Q∧R∨P∧Q∧R
＝m6∨m7∨m3
＝367
a
d
bc
tR
fHP∨Q∧R∧Q∨P∧R
＝P∧Q∨Q∧R∨P∧Q∧R
＝P∧Q∧R∨P∧Q∧R∨P∧Q∧R∨P∧Q∧R∨P∧Q∧R
＝P∧Q∧R∨P∧Q∧R∨P∧Q∧R
＝m6∨m3∨m7＝367
GH的主析取范式相同，所以GH
1010
13
1MR

00
00
10
01
0000
2RS＝abcd
0100
MS

00
00
10
10
0001
R∪S＝aaabacbcbdcdddR－1＝aacacbdcS－1R－1＝badc
四证明题
1证明：P→QR→SP∨R蕴涵Q∨S
1P∨R
P
2R→P
Q1
3P→Q
P
4R→Q
Q23
5Q→R
Q4
6R→S
P
7Q→S
Q56
8Q∨S
Q7
2证明：ABCA∩B∩C
A∩B∩C
A∩B∪C
AB∪C
3证明：A∨BC→BC→D蕴涵A→D
f1A2A∨B
D附加P
3B4C→B5B→C
Q12PQ4
6C7C→D
Q35P
8D
Q67
9A→D
D18
所以A∨BC→BC→D蕴涵A→D
4证明：A－A∩B
A∩A∩B＝A∩A∪B＝A∩A∪A∩B
＝∪A∩B＝A∩B＝A－B
而A∪B－BA∪B∩BA∩B∪B∩BA∩B∪A－B
所以：A－A∩BA∪B－B
fr