它的等价式PGP）PGPPGPPPG1G1。
4．下面的推理是否正确，请给予说明．1xAxBx2AyBy
前提引入US1
解对。
四．计算题
1．求PQR的析取范式，合取范式、主析取范式，主合取范式．解PQRPQRPQR析取范式PQR合取范式
2
f★形成性考核作业★
PQR否P原式极小项
极大项
00011否P∧否Q∧否R
00111否P∧否Q∧R
01011否P∧Q∧否R
01111否P∧Q∧R
10000
否P∨Q∨R
10101P∧否Q∧R
11001P∧Q∧否R
11101P∧Q∧R
主析取范式PQRPQRPQRPQR
PQRPQRPQR
主合取范式PQR
2．求命题公式PQRQ的主析取范式、主合取范式．
PQR否（P∨Q）R∨Q原式极小项
极大项
000
101否P∧否Q∧否R
001
111否P∧否Q∧R
010
011否P∧Q∧否R
011
011否P∧Q∧R
100
000
否P∨Q∨R
101
011P∧否Q∧R
110
011P∧Q∧否R
111
011P∧Q∧R
主析取范式PQRPQRPQRPQR
PQRPQRPQR
主合取范式PQR
3．设谓词公式xPxyzQyxzyRyz．（1）试写出量词的辖域；（2）指出该公式的自由变元和约束变元．解x辖域PxyzQyxzz辖域Qyxzy辖域Ryz。在xPxy中y是自由元，x是约束元；在zQyxz中yx是自由元，z是约束元；在yRxy中x是自由元，y是约束元。
4．设个体域为Da1a2，求谓词公式yxPxy消去量词后的等值式；
解yxPxyyxPxyyPa1yPa2yPa1a1Pa1a2Pa2a1Pa2a2
五、证明题
3
f★形成性考核作业★
1．试证明PQRPQ与PQ等价．证明右边PQRQPPQQQRP吸收律PQQP吸收律QPPQ左边。2．试证明xPxRxxPxxRx．证明书P202例13
4
fr