यदि $p , q$, तथा $r$ ऐसे तीन कथन हैं कि कथन $( p \wedge q ) \rightarrow(\sim q \vee r )$ का सत्यमान $F$ है, तो $p , q , r$ के क्रमश : सत्यमान हैं 

यदि $(p\; \wedge \sim r) \Rightarrow (q \vee r)$ असत्य है एवं $q$ एवं $r$ दोनों असत्य है, तब $p$ है

$p \Rightarrow 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(\sim p \rightarrow q )$ किस के तार्किक समतुल्य होगा