$(\mathrm{S} 1)(\mathrm{p} \Rightarrow \mathrm{q}) \vee(\mathrm{p} \wedge(\sim \mathrm{q}))$ एक पुनरूक्ति है $(\mathrm{S} 2)((\sim \mathrm{p}) \Rightarrow(\sim \mathrm{q})) \wedge((\sim \mathrm{p}) \vee \mathrm{q})$ एक विरोधोक्ति है तो

$(\mathrm{p} \wedge(\sim \mathrm{q})) \vee(\sim \mathrm{p})$ का निषेधन किसके तुल्य है

$\sim (p \Rightarrow q) \Leftrightarrow \sim p\; \vee \sim q$ है

$p \Rightarrow q$ को ऐसे भी लिख सकते हैं

यदि $p, q, r$ सत्यता मान $T, F, T$ के साथ सामान्य कथन $(\sim p \vee q)\; \wedge \sim r \Rightarrow p$ की सत्यता का मान है

$\left(p^{\wedge} r\right) \Leftrightarrow\left(p^{\wedge}(\sim q)\right),(\sim p)$ के तुल्य है,जब $r$ है