વિધાન $p \rightarrow (q \rightarrow p)$ એ . . . .. . ને તૂલ્ય છે.
$p \rightarrow (p \rightarrow q)$
$p \rightarrow (q\, \vee \, p)$
$p \rightarrow (q\, \wedge p)$
$p \rightarrow (p \leftrightarrow q)$
નીચેના વિધાનો
$(S1)$ $\quad(( p \vee q ) \Rightarrow r ) \Leftrightarrow( p \Rightarrow r )$
$(S2) \quad(( p \vee q ) \Rightarrow r ) \Leftrightarrow(( p \Rightarrow r ) \vee( q \Rightarrow r ))$
પૈકી
બુલીયન નિરૂપણ $\sim\left( {p\; \vee q} \right) \vee \left( {\sim p \wedge q} \right)$ એ . . . ને સમકક્ષ છે. .
ધારોકે $\Delta, \nabla \in\{\Lambda, v\}$ એવા છે કે જેથી $( p \rightarrow q ) \Delta( p \nabla q )$ એ નિત્યસત્ય છે. તો
$q \vee((\sim q) \wedge p)$ ની નિષેધ . . . . . ને તુલ્ય છે.
$ \sim \left( {p\,\vee \sim q} \right) \vee \sim \left( {p\, \vee q} \right)$ ગાણાતીય તર્ક ની રીતે ........... સાથે સરખું થાય