2016年哈工大数理逻辑A期末考试参考答案

一 、 求 公 式 ( p → ¬ r ) ∨ ( ¬ p ↔ q ) 的 主 合 取 范 式 和 主 析 取 范 式 。 （ 10 分 ） 1、求公式(p\to \neg r)\lor (\neg p \leftrightarrow q)的主合取范式和主析取范式。（10分） 一、求公式(p→¬r)∨(¬p↔q)的主合取范式和主析取范式。（10分） 真 值 表 如 下 ： 真值表以下： 真值表如下

>>阅读原文<<