( 密 封 线 内 不 答 题 )
教学中心: 专业层次: 姓名: 学号: 座号:
华南理工大学网络教育学院
教学中心: 专业层次: 姓名: 学号: 座号:
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)合取
求公式的主析取范式与主合取范式,并写出相应的成真赋值与成假赋值。
离散作业=21年华工平时作业答案 来自淘豆网www.taodocs.com转载请标明出处.