Question

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

（1）﹃（p→q）∧ q
（2）（（p→q）∧ p）→q
（3）（p→q）∧ q
以上是计算题，看了老师答案还不明白，如果有数学专家或者老师麻烦解答下计算过程。
如果这里输入符号不方便，可以解答完截图上来，谢谢！

Answer 1

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