નીચેનામાંથી કયું વિધાન 'કન્ટિન્જન્સી' (contingency) છે?

આપેલ છે $p$: માણસ ન્યાયાધીશ છે,$q$: માણસ પ્રમાણિક છે. જો $S_1$: જો માણસ ન્યાયાધીશ હોય,તો તે પ્રમાણિક છે; $S_2$: જો માણસ ન્યાયાધીશ હોય,તો તે પ્રમાણિક નથી; $S_3$: માણસ ન્યાયાધીશ નથી અથવા તે પ્રમાણિક છે; $S_4$: માણસ ન્યાયાધીશ છે અને તે પ્રમાણિક છે. તો:

નીચેના બે વિધાનો આપેલા છે:
$(S_{1}): (q \vee p) \rightarrow (p \leftrightarrow \sim q)$ એ એક સ્વતઃ સત્ય (tautology) છે.
$(S_{2}): \sim q \wedge (\sim p \leftrightarrow q)$ એ એક સ્વતઃ અસત્ય (fallacy) છે.
તો:

$[p \vee (\sim q)] \wedge (\sim p)$ વિધાનનું દ્વૈત (dual) શું છે?

જો વિધાન પેટર્ન $( \sim p \land q) \lor ( \sim p \land \sim q) \lor (p \land \sim q)$ નું સત્ય મૂલ્ય $F$ હોય, તો $(p \lor \sim q)$ અને $(p \to q)$ ના સત્ય મૂલ્યો અનુક્રમે ... છે.

વિધાન $\sim p \lor q$ ના પ્રતિલોમ (inverse) નું નિષેધ (negation) શું છે...