求公式(p→¬q)↔r的主析取范式

问题描述:

求公式(p→¬q)↔r的主析取范式
在线等
上面那个是双箭头r

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