求公式(p→¬q)↔r的主析取范式在线等上面那个是双箭头r
来源:学生作业帮助网 编辑:作业帮 时间:2024/11/06 05:05:25
x){i뚧{5
MzQuY-Ov~6oi/zjY|k;z9w˦Ovz6c>]&H43:yM/O1hHOv
wsydRua !!-۞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),你可以再进一步化简,应该懂得吧