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

在线等
上面那个是双箭头r

第1个回答  2014-10-14
由公式A→B等价于¬AVB,所以(p→¬q)等价于¬pV¬q
然后,双箭头是↔吗?如果是的话,由公式A↔B等价于(A→B)V(B→A),你可以再进一步化简,应该懂得吧本回答被提问者采纳
相似回答