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

来源:学生作业帮助网 编辑:作业帮 时间:2024/08/08 01:05:10
求公式(p→¬q)↔r的主析取范式在线等上面那个是双箭头r
x){i뚧{5 MzQuY-Ov~6oi/zjY|k;z9w˦Ovz6c>]&H43:yM/O1hHOv w sydRua !!-۞NӁ 갧?]lБ/AX Ud; lG [OOv4<[iϴtbgMOM:a~qAb( %

求公式(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),你可以再进一步化简,应该懂得吧