$p \Rightarrow q$ ને આ રીતે પણ લખી શકાય છે

નીચેનામાંથી કયું વિધાન નથી?

ધારો કે $a: \sim(p \wedge \sim r) \vee(\sim q \vee s)$ અને $b: (p \vee s) \leftrightarrow(q \wedge r)$. જો $p$ અને $q$ ના સત્ય મૂલ્યો $T$ હોય અને $r$ અને $s$ ના સત્ય મૂલ્યો $F$ હોય,તો $a$ અને $b$ ના સત્ય મૂલ્યો અનુક્રમે... છે.

વિધાન-$I$: $\sim (p \leftrightarrow q)$ એ $(p \wedge \sim q) \vee (q \wedge \sim p)$ ને સમતુલ્ય છે.
વિધાન-$II$: $p$ $\rightarrow (p$ $\rightarrow q)$ એ એક નિત્યસત્ય (tautology) છે.

ધારો કે $p, q, r$ એ કોઈ પણ વિધાનો છે. તો વિધાન $p \Rightarrow (q \vee r)$ ને તાર્કિક રીતે સમાન વિધાન કયું છે?

તાર્કિક વિધાનોના બુલીય બીજગણિતમાં સંયોજન $(AND)$ ક્રિયા માટે એકમ ઘટક કયો છે?