问题标题：
离散数学-用等值演算法求下列命题公式的主析取范式,并由此指出该公式的类型（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
以上是计算题,如果有数学专家或者老师麻烦解答下计算过程.
如果这里输入符号不方便,可以解答完截图上来,
柴利松回答：
如下图所示,点击放大.其中用到的等值式在书上都有,若有疑问,请追问.
点击显示
数学推荐
热门数学推荐