；
3求公式
的主析取范式和主合取范式
第3页共4页
f得分
五、证明题共2小题，每小题10分，本题满分20分1证明等值式
2在自然推理系统P中构造下面推理的证明如果今天星期六我们就到颐和园或圆明园去玩如果颐和园游人太多我们就不去颐和园玩今天星期六颐和园游人太多所以我们去圆明园玩
第4页共4页
fr