离散数学-用等值演算法求下列命题公式的主析取范式,并由此指出该公式的类型
问题描述：
离散数学-用等值演算法求下列命题公式的主析取范式,并由此指出该公式的类型
（1）﹃（p→q）∧ q
（2）（（p→q）∧ p）→q
（3）（p→q）∧ q
以上是计算题,如果有数学专家或者老师麻烦解答下计算过程.
如果这里输入符号不方便,可以解答完截图上来,
答
如下图所示,点击放大.其中用到的等值式在书上都有,若有疑问,请追问.