कथनों  $ (S 1):(p \Rightarrow q) \vee((\sim p) \wedge q)$ पुनरुक्ति है

$(S 2):(q \Rightarrow p) \Rightarrow((\sim p) \wedge q)$ विरोधोक्ति है में से

कथन $1:(p \wedge \sim q) \wedge(\sim p \wedge q)$ सदैव असत्य है।

कथन $2:(p \rightarrow q) \leftrightarrow(\sim q \rightarrow \sim p)$ एक पुनरूक्ति है

यदि $p, q, r$ सामान्य कथन है, तब $(p \wedge q) \wedge (q \wedge r)$ सत्य है, तब

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

$p \vee (\sim p \vee q)$ संयुक्त कथन की नकारात्मकता है

कथन $(\sim p ) \vee( p \wedge \sim q )$ समतुल्य है