સંયુક્ત વિધાન $p \vee (\sim p \vee q)$ નું નિષેધ શું છે?

નીચેના વિધાનો પર વિચાર કરો:
$r: \text{જો } p \to q \text{ અસત્ય હોય, તો } p \vee q \text{ અસત્ય છે.}$
$s: \text{જો } p \leftrightarrow q \text{ અસત્ય હોય, તો } p \vee q \text{ અસત્ય છે.}$
$r \to s$ અને $s \to r$ ના સત્ય મૂલ્યો અનુક્રમે છે:

જો $S^*(p, q, r)$ એ સંયુક્ત વિધાન $S(p, q, r)$ નું દ્વૈત (dual) હોય અને $S(p, q, r) = \sim p \wedge [\sim (q \vee r)]$ હોય,તો $S^*(\sim p, \sim q, \sim r)$ કોના સાથે સમતુલ્ય છે?

વિધાન $-1$: વિધાન $A \to (B \to A)$ એ $A \to (A \vee B)$ ને સમતુલ્ય છે.
વિધાન $-2$: વિધાન $\sim [(A \wedge B) \to (\sim A \vee B)]$ એ નિત્યસત્ય (Tautology) છે.

નીચેના વિધાનનું પ્રતિ-ધન (contrapositive) વિધાન લખો:
જો કોઈ સંખ્યા $9$ વડે વિભાજ્ય હોય,તો તે $3$ વડે વિભાજ્ય છે.

જો બે ત્રિકોણ એકરૂપ હોય,તો તેમના ક્ષેત્રફળ સમાન હોય છે. આ વિધાનના પ્રતિ-વિધાનનું વિરોધી વિધાન શું છે? (જ્યાં $p$: બે ત્રિકોણ એકરૂપ છે,$q$: તેમના ક્ષેત્રફળ સમાન છે)