题目内容
(请给出正确答案)
提问人:网友njalic
发布时间:2022-01-07
[主观题]
给定如下三个公式: (1)(p→q)→(┐q→┐p) (2) ┐(p→q)∧r∧q (3)(p→q)∧┐p (i) 用等值演算法来判断上述公式的类型。 (ii) 用主析取范式法判断上面公式的类型,并求公式的成真赋值。 (iii) 求上面3个公式的主合取范式,并求公式的成假赋值。
简答题官方参考答案
(由简答题聘请的专业题库老师提供的解答)
抱歉!暂无答案,正在努力更新中……