作业帮 > 数学 > 作业

离散数学-用等值演算法求下列命题公式的主析取范式,并由此指出该公式的类型

来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/06/02 05:12:02
离散数学-用等值演算法求下列命题公式的主析取范式,并由此指出该公式的类型
(1)﹃(p→q)∧ q
(2)((p→q)∧ p)→q
(3)(p→q)∧ q
以上是计算题,如果有数学专家或者老师麻烦解答下计算过程.
如果这里输入符号不方便,可以解答完截图上来,
如下图所示,点击放大.其中用到的等值式在书上都有,若有疑问,请追问.