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

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/30 03:03:47
求解一道离散数学的等价证明题,

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

求解一道离散数学的等价证明题,
为了打字方便,用 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'
所以左右等价