求解一道离散数学的等价证明题,

来源:学生作业帮助网 编辑:六六作业网 时间:2025/01/30 12:32:25
求解一道离散数学的等价证明题,求解一道离散数学的等价证明题,求解一道离散数学的等价证明题,为了打字方便,用P''代表P的非.左侧:(P→Q)∨(R→Q)=(P''∨Q)∨(R''∨Q)=P''∨Q∨R''右侧:

求解一道离散数学的等价证明题,
求解一道离散数学的等价证明题,

求解一道离散数学的等价证明题,
为了打字方便,用 P' 代表 P 的非.
左侧:
(P→Q)∨(R→Q)
= (P'∨Q)∨(R'∨Q)
= P'∨Q∨R'
右侧:
(P∧R)→Q
= (P∧R)'∨Q
= (P'∨R')∨Q
= P'∨Q∨R'
所以左右等价