（QP）是等价形式P（QP）P（QP）PQP1Q
4．下面的推理是否正确，请给予说明．1xAxBx2AyBy
前提引入US1
3
f答：对。
★形成性考核作业★
四．计算题
1．求PQR的析取范式，合取范式、主析取范式，主合取范式．
PQRPQR
（析取范式）
（PQR）
（合取范式）
真值表：
P
Q
R
P
原式
极小项
及大项
0
0
0
1
1
PP
P
0
0
1
1
1
PQR
0
1
0
1
1
PQR
0
1
1
1
1
PQR
1
0
0
0
0
PQR
1
0
1
0
1
PQR
1
1
0
0
1
PQR
1
1
1
0
1
PQR
主析取范式（PPP）（PQR）（PQR）（PQR）（PQR）（PQR）（PQR）
主合取范式（PQR）
4
f★形成性考核作业★
2．求命题公式PQRQ的主析取范式、主合取范式．
真值表：
P
Q
R
（PQ）RQ原式极小项
及大项
0
0
0
1
0
1
PP
P
0
0
1
1
1
1
PQR
0
1
0
0
1
1
PQR
0
1
1
0
1
1
PQR
1
0
0
0
0
0
PQR
1
0
1
0
1
1
PQR
1
1
0
0
1
1
PQR
1
1
1
0
1
1
PQR
主析取范式（PPP）（PQR）（PQR）（PQR）（PQR）（PQR）（PQR）
主合取范式（PQR）
3．设谓词公式xPxyzQyxzyRyz．（1）试写出量词的辖域；（2）指出该公式的自由变元和约束变元．
答：（1）x的辖域为P（xy）zQxyz
z的辖域为Qxyzy的辖域为Ryz2约束变元为P（xy）zQxyz中的x
Qxyz中的z
Ryz中的y
自由变元为
P（xy）zQxyz中的y
5
fRyz中的z
★形成性考核作业★
4．设个体域为Da1a2，求谓词公式yxPxy消去量词后的等值式；
答：谓词公式yxPxy消去量词后的等值式为（R（aa）R（ab））R（ba）R（bb）
五、证明题
1．试证明PQRPQ与PQ等价．证明：PQRPQPQRPQPQ（PQ）
2．试证明xPxRxxPxxRx．
证明：（1）xAxBx
P
（2）A（c）BcES1公式ABA
6
f★形成性考核作业★
（3）Ac
ABBT2
4xAx5Bc
EG3T2公式ABA
ABB
6xBx
EG5
7xAxxBxT46公式ABA
ABB
7
fr