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

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

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