વિધાન $p \lor q$ ના પ્રતિવિધાન (converse) નું નિષેધ (negation) શું થાય?

નીચેનામાંથી કયું ગાણિતિક વિધાન છે?

નીચેના વિધાનો પૈકી:
$(S1) \quad (( p \vee q )$ $\Rightarrow r ) \Leftrightarrow ( p$ $\Rightarrow r )$
$(S2) \quad (( p \vee q )$ $\Rightarrow r ) \Leftrightarrow (( p$ $\Rightarrow r ) \vee ( q$ $\Rightarrow r ))$

જો $p \to (q \lor \sim r)$ અસત્ય હોય, તો $(p \leftrightarrow q) \land r$ અને $\sim p \to \sim q$ ના સત્ય મૂલ્યો છે :

વિધાન $\sim(p \rightarrow \sim q)$ નું સમકક્ષ સ્વરૂપ $ . . . . . . $ છે.

વિધાન $(p \wedge q) \to (p \vee q)$ એ