文档库 最新最全的文档下载
当前位置：文档库 › 2020年华南理工离散数学平时作业
2020年华南理工离散数学平时作业
《离散数学作业》第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 ?→?→?的主析取范式与主合取范式，并写出相应的成真赋值
相关文档
《离散数学作业》第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 ?→?→?的主析取范式与主合取范式，并写出相应的成真赋值