વિધાનો $p: S_1$ બંધ છે; $q: S_2$ બંધ છે; $r: S_3$ બંધ છે તેમ ધ્યાનમાં લો. સ્વિચિંગ સર્કિટ માટે સરળ સમકક્ષ સર્કિટ આકૃતિ અને તેનું તાર્કિક વિધાન અનુક્રમે છે.

શરતી વિધાન $(p \wedge q) \implies p$ એ:

નીચે આપેલા સંયુક્ત વિધાનના ઘટક વિધાનો લખો અને તપાસો કે સંયુક્ત વિધાન સત્ય છે કે અસત્ય.
$0$ એ દરેક ધન પૂર્ણાંક અને દરેક ઋણ પૂર્ણાંક કરતાં નાનો છે.

નીચેનામાંથી કયું વિધાન સાચું છે?
$(a)$ $S_1: (p \wedge q) \equiv \sim(p \rightarrow \sim q)$
$(b)$ $S_2: (p \wedge q) \wedge (\sim p \vee \sim q)$ એ નિત્યસત્ય (tautology) છે
$(c)$ $S_3: [p \wedge (p$ $\rightarrow \sim q)]$ $\rightarrow q$ એ વિરોધાભાસ (contradiction) છે
$(d)$ $S_4: p$ $\rightarrow (q$ $\rightarrow p)$ એ આકસ્મિક (contingency) છે

નીચેનામાંથી કયું વિધાન માત્ર પુનરાવૃતિ (tautology) છે?

નીચેનામાંથી સાચી તાર્કિક સમાનતાઓ છે:
$(I)$ $p \to (q \to r) \equiv (p \land q) \to r$
$(II)$ $(p \to q) \to r \equiv p \to (q \lor r)$
$(III)$ $(p \to q) \to r \equiv (p \to r) \land (\sim q \to r)$
$(IV)$ $p \to (q \to r) \equiv q \to (p \to r)$