下载此文档

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


文档分类:通信/电子 | 页数:约2页 举报非法文档有奖
1/2
下载提示
  • 1.该资料是网友上传的,本站提供全文预览,预览什么样,下载就什么样。
  • 2.下载该文档所得收入归上传者、原创者。
  • 3.下载的文档,不会出现我们的网址水印。
1/2 下载此文档
文档列表 文档介绍
( 密 封 线 内 不 答 题 )

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

教学中心: 专业层次: 姓名: 学号: 座号:
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转载请标明出处.

非法内容举报中心
文档信息
  • 页数2
  • 收藏数0 收藏
  • 顶次数0
  • 上传人历旷久
  • 文件大小4.90 MB
  • 时间2021-05-03