નીચેના વિધાનને "$p$ જો અને તો જ $q$" સ્વરૂપમાં ફરીથી લખો:
$r:$ જો ચતુષ્કોણ સમાનકોણીય હોય,તો તે લંબચોરસ છે અને જો ચતુષ્કોણ લંબચોરસ હોય,તો તે સમાનકોણીય છે.

જો વિધાનો $p, q$ ના સત્યતા મૂલ્યો સત્ય $(T)$ હોય,અને $r, s$ ના સત્યતા મૂલ્યો અસત્ય $(F)$ હોય,તો નીચેના વિધાન સ્વરૂપોના સત્યતા મૂલ્યો અનુક્રમે શું હશે?
$a: \sim(p \wedge \sim r) \vee(\sim q \vee s)$
$b: (\sim q \wedge \wedge \sim r) \leftrightarrow(p \vee s)$
$c: (\sim p \vee q) \rightarrow(r \wedge \sim s)$

ધારો કે $p$ અને $q$ બે વિધાનો છે. તો $\sim(p \wedge (p \Rightarrow \sim q))$ એ કોના સમકક્ષ છે?

નીચેનામાંથી કઈ વિધાન રચના એ સ્વતઃ સત્ય (tautology) છે?
$S_1 \equiv (\sim q \wedge p) \wedge q$
$S_2 \equiv [p \wedge (p$ $\rightarrow q)]$ $\rightarrow q$
$S_3 \equiv (p \wedge q) \wedge (\sim p \vee \sim q)$
$S_4 \equiv (p \wedge q) \rightarrow r$

$(\sim (\sim p)) \wedge q$ એ ......... ને સમાન છે.

નીચેના વિધાનનો પ્રતિવિધાન (Converse) અને પ્રતીપ વિધાન (Contrapositive) લખો:
$q:$ જ્યારે પણ સૂર્યપ્રકાશિત દિવસ હોય ત્યારે હું દરિયાકિનારે જાઉં છું.