[离散数学]推导如下命题公式是等价的.

题目

[离散数学]推导如下命题公式是等价的.
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)PvQ2.(P→Q)^(R→Q)PvQ)^(~RvQ)P^~R)vQ(PvR)vQPvR→Q