来源:学生作业帮 编辑:搜搜考试网作业帮 分类:数学作业 时间:2024/07/09 05:48:51
[离散数学]推导如下命题公式是等价的.
1.(P^Q)→(~Pv(~PvQ))~PvQ
2.(P→Q)^(R→Q)PvR→Q
1.(P^Q)→(~Pv(~PvQ))
(P^Q)v(~Pv(~PvQ))
(P^Q)v(~Pv~PvQ)
(P^Q)v(~PvQ)
(Pv(~PvQ))^(Qv(~PvQ))
(Pv~PvQ)^(Qv~PvQ)
T^(~PvQ)
PvQ
2.(P→Q)^(R→Q)
PvQ)^(~RvQ)
P^~R)vQ
(PvR)vQ
PvR→Q