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

નીચેનામાંથી કઈ વિધાન રચના વિરોધાભાસ (contradiction) છે?
$S_{1} \equiv (p \rightarrow q) \wedge (p \wedge \sim q)$
$S_{2} \equiv [p \wedge (p$ $\rightarrow q)]$ $\rightarrow q$
$S_{3} \equiv (p \vee q) \rightarrow \sim p$
$S_{4} \equiv [p \wedge (p \rightarrow q)] \leftrightarrow q$

ચકાસો કે નીચેનું વિધાન સત્ય છે કે નહીં.
જો $x, y \in \mathbb{Z}$ એવા હોય કે $x$ અને $y$ એકી સંખ્યાઓ હોય,તો $xy$ એકી સંખ્યા છે.

ધારો કે $p$ અને $q$ બે વિધાનો છે. નીચેનામાંથી કયું વિધાન $p \to 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$ ના સત્ય મૂલ્યો અનુક્રમે શું હશે?

વિધાન $\sim p \vee (q \wedge \sim r)$ નું પ્રતિ-વિધાન (contrapositive) શું છે?