[离散数学]推导如下命题公式是等价的.1.(P^Q)→(~Pv(~PvQ))~PvQ2.(P→Q)^(R→Q)PvR→Q_数学解答

[离散数学]推导如下命题公式是等价的.
1.(P^Q)→(~Pv(~PvQ))~PvQ
2.(P→Q)^(R→Q)PvR→Q

人气：301 ℃　时间：2020-02-06 03:55:41

解答

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