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

在线等上面那个是双箭头r
2025-06-21 20:29:24
推荐回答(1个)
回答1:

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