નીચેનામાંથી કયું વિધાન નથી?

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

ધારો કે $*, \square \in \{\wedge, \vee\}$ એવા છે કે જેથી બુલિયન પદાવલિ $(p * \sim q) \Rightarrow (p \square q)$ એ એક નિત્યસત્ય (tautology) છે. તો :

વિધાન $p$ અને $q$ માટે નીચેનામાંથી કયું સાચું છે?

નીચેનામાંથી કયું વિધાન ખોટું છે?

વિધાન પેટર્ન $[p \lor (p \to q)] \to (p \land \sim q)$ નું પ્રતિધનાત્મક (contrapositive) શું છે?