来源:学生作业帮 编辑:灵鹊做题网作业帮 分类:数学作业 时间:2024/06/13 05:41:26
[离散数学]推导如下命题公式是等价的.
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