તાર્કિક પદાવલિ $p \wedge (\sim p \vee \sim q) =$ ?

$p \Leftrightarrow q$ નું તાર્કિક સમકક્ષ શું છે :-

$p \Rightarrow q$ ના પ્રતિપનું સમાનાર્થીં (contrapositive) ...... છે.

વિચારો
વિધાન-$1$: $(p \wedge \sim q) \wedge (\sim p \wedge q)$ એ વિરોધાભાસ (fallacy) છે.
વિધાન-$2$: $(p \rightarrow q) \leftrightarrow (\sim q \rightarrow \sim p)$ એ નિત્યસત્ય (tautology) છે.

$\sim q \to p$ નું પ્રતિધનાત્મક (contrapositive) કોના સમતુલ્ય છે?

વિધાન $(p$ $\rightarrow q)$ $\rightarrow ((\sim p$ $\rightarrow q)$ $\rightarrow q)$ એ