计算机 判断题 较难 ★ 精品

命题逻辑联结词 — 计算机判断题

人工智能导论(大学通用) 知识表示与推理 AI 三重审校通过

题目
判断:设 p、q 为两个命题。已知复合命题 ¬(p∨q) 与 (p→q)→(q∧¬p) 的真值相同。小明分析如下:当 p 真、q 假时,p∨q 为真,故 ¬(p∨q) 为假;而此时 p→q 为假,蕴含式 (p→q)→(q∧¬p) 前件假则整个蕴含式为真,两者真值不同,因此该说法错误。小明的结论是否正确?