વિધાન $(p \wedge(\sim q) \vee((\sim p) \wedge q) \vee((\sim p) \wedge(\sim q))$ એ $........$ને સમકક્ષ છે.
$(\sim p) \vee(\sim q)$
$p \vee(\sim q)$
$(\sim p) \vee q$
$p \vee q$
$( p \Delta q ) \Rightarrow(( p \Delta \sim q ) \vee((\sim p ) \Delta q ))$ નિત્યસત્ય થાય તે માટે $\Delta \in\{\wedge, \vee, \Rightarrow, \Leftrightarrow\}$ ની પસંદગી કેટલી રીતે થઈ શકે?
બુલીય અભિવ્યક્તિ $\left(\sim\left(p^{\wedge} q\right)\right) \vee q$એ $\dots\dots\dots\dots$ને સમકક્ષ છે.
બે વિધાનો ધ્યાનથી જુઓ.
$(\mathrm{S} 1):(\mathrm{p} \rightarrow \mathrm{q}) \vee(\sim \mathrm{q} \rightarrow \mathrm{p})$ એ સંપૂર્ણ સત્ય છે
$(S2): (\mathrm{p} \wedge \sim \mathrm{q}) \wedge(\sim \mathrm{p} \vee \mathrm{q})$ એ તર્કદોષી છે
તો .. . . . .
ધારોકો $r \in\{p, q, \sim p, \sim q\}$ એવો છ કે જેથી તાર્કિક વિધાન $r \vee(\sim p) \Rightarrow(p \wedge q) \vee r$ : નિત્યસત્ય છે. તો $r=\dots\dots$
વિધાન; $(\mathrm{p} \wedge(\mathrm{p} \rightarrow \mathrm{q}) \wedge(\mathrm{q} \rightarrow \mathrm{r})) \rightarrow \mathrm{r}$ એ . . . .