离散作业=21年华工平时作业答案.doc

文档介绍：（ 密 封 线 内 不 答 题 ）

教学中心： 专业层次： 姓名： 学号： 座号：
华南理工大学网络教育学院

教学中心： 专业层次： 姓名： 学号： 座号：
2020–2021学年度第二学期
《离散数学》作业
（解答必须手写体上传，否则酌情扣分）

1、用推理规则证明 Ø（PÙ ØQ），ØQ ÚR，Ø RØP
2、用推理规则证明 P ® Q，R ® S （PÙ R）®（Q Ù S）
证 （1）PÙ R 附加前提引入
（2）R （1）化简
（3）P （1）化简
（4）P ® Q P
（5）Q （3）（4）假言推理
（6）R ® S P
（7）S （2）（6）假言推理
（8）Q ÙS （5）（7）合取
求公式的主析取范式与主合取范式，并写出相应的成真赋值与成假赋值。