વિધાન પેટર્ન $[(p \vee q) \wedge \sim p] \wedge (\sim q)$ એ

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

જો $p$ અને $q$ દરેકનું સત્યતા મૂલ્ય $F$ હોય,તો વિધાન સ્વરૂપો $(\sim p \vee q) \leftrightarrow \sim(p \wedge q)$ અને $\sim p \leftrightarrow (p \rightarrow \sim q)$ ના સત્યતા મૂલ્યો અનુક્રમે શું થશે?

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

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

નીચેનામાંથી કયું બુલિયન પદાવલિ (Boolean expression) એક 'tautology' છે?