माना $p , q , r$ स्वेच्छ कथन दर्शाते हैं। कथन $p \Rightarrow( q \vee r )$ का तार्किक समतुल्य है
$(p \vee q) \Rightarrow r$
$(p \Rightarrow q) \vee (p \Rightarrow r)$
$(p \Rightarrow \sim q) \wedge (p \Rightarrow r)$
$(p \Rightarrow q) \wedge (p \Rightarrow \sim r)$
$\sim (p \wedge q)$ = .....
$(p \Rightarrow \;\sim p) \wedge (\sim p \Rightarrow p)$ कथन है एक
यदि $p, q, r$ सत्यता मान $T, F, T$ के साथ सामान्य कथन $(\sim p \vee q)\; \wedge \sim r \Rightarrow p$ की सत्यता का मान है
यदि बूलीय व्यंजक $( p \oplus q ) \wedge(\sim p \odot q ), p \wedge q$ के तुल्य है, जहाँ $\oplus, \odot \in\{\wedge, \vee\}$ है, तो क्रमित युग्म $(\oplus, \odot)$ है-