$(p \land q) \to ((p \lor r) \to \sim q)$ નું નિષેધ (negation) કોના સમકક્ષ છે?

ધારો કે $F_{1}(A, B, C) = (A \wedge \sim B) \vee [\sim C \wedge (A \vee B)] \vee \sim A$ અને $F_{2}(A, B) = (A \vee B) \vee (B \rightarrow \sim A)$ બે તાર્કિક પદાવલિઓ છે. તો ...... .

નીચે આપેલા વિધાનનું નકારાત્મક વિધાન લખો:
$s:$ બધા વિદ્યાર્થીઓ પ્રાથમિક સ્તરે ગણિતનો અભ્યાસ કરે છે.

જો $p, q, r, s$ વિધાનો હોય,જ્યાં:
$p: A^2-B^2=(A-B)(A+B)$ જ્યાં $A, B$ શ્રેણિકો છે અને $AB \neq BA$
$q: 5 \leqslant 5$
$r: { }^8 C_1+{ }^8 C_2+{ }^8 C_3+\ldots+{ }^8 C_8=256$
$s: { }^8 C_r \text{ ની મહત્તમ કિંમત } 70 \text{ છે}$
તો નીચેનામાંથી કયા વિધાનનું સત્યતા મૂલ્ય સત્ય છે?

વિધાન-$I$: $(p \wedge \sim q) \wedge (\sim p \wedge q)$ એ તર્કદોષી (contradiction) છે.
વિધાન-$II$: $(p$ $\rightarrow q) \Leftrightarrow (\sim q$ $\rightarrow \sim p)$ એ નિત્યસત્ય (tautology) છે.

વિધાન $(\sim p) \vee (p \wedge \sim q)$ એ નીચેનામાંથી કોના સમકક્ષ છે?