[Discrete Mathematics] The following propositional formulas are equivalent.

& lt= & gt~~(P^Q)v(~Pv(~PvQ))

& lt= & gt(P^Q)v(~Pv~PvQ)

& lt= & gt(P^Q)v(~PvQ)

& lt= & gt(Pv(~PvQ))^(Qv(~PvQ))

& lt= & gt(Pv~PvQ)^(Qv~PvQ)

& lt= & gtT^(~PvQ)

& lt= & gt~PvQ

2.(P→Q)^(R→Q)

& lt= & gt(~PvQ)^(~RvQ)

& lt= & gt(~P^~R)vQ

& lt= & gt~(PvR)vQ

& lt= & gtPvR→Q