2016年哈工大數理邏輯A期末考試參考答案

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

>>阅读原文<<