由公式A→B等价于￢AVB,所以(p→￢q)等价于￢pV￢q
然后,双箭头是↔吗?如果是的话,由公式A↔B等价于（A→B）V（B→A）,你可以再进一步化简,应该懂得吧