离散数学-用等值演算法求下列命题公式的主析取范式,并由此指出该公式的类型(1)﹃(p→q)∧ q (2)((p→q)∧ p)→q (3)(p→q)∧ q 以上是计算题,如果有数学专家或者老师麻烦解答下计算过程.如果这里输入符号不方便,可以解答完截图上来,

问题描述:

离散数学-用等值演算法求下列命题公式的主析取范式,并由此指出该公式的类型
(1)﹃(p→q)∧ q
(2)((p→q)∧ p)→q
(3)(p→q)∧ q
以上是计算题,如果有数学专家或者老师麻烦解答下计算过程.
如果这里输入符号不方便,可以解答完截图上来,

如下图所示,点击放大.其中用到的等值式在书上都有,若有疑问,请追问.