2017年哈工大數理邏輯B期末考試參考答案(1)

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

>>阅读原文<<