2020年华南理工离散数学平时作业
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
《离散数学作业》第1页（共6页）2020年华南理工《离散数学》平时作业
1、用推理规则证明P →Q ，(⌝Q ∨R ）∧⌝R ，⌝（⌝P ∧S ）⇒⌝
S
2、用推理规则证明P →Q ，R →S ⇒（P ∧R ）→（Q ∧S
）3．求公式()()P Q P Q ⌝→↔→⌝的主析取范式与主合取范式，并写出相应的成真赋值