Chứng minh rằng mệnh đề sau đây tương đương logic với nhau : $ \left( {\bar C \wedge \bar A} \right) \Rightarrow \bar B; \bar C \Rightarrow \left( {\bar A \vee \bar B} \right)  $

Ta có :
$ \bar C \Rightarrow \left( {\bar A \vee \bar B} \right) = C \vee \left( {\bar A \vee \bar B} \right) $  $ \begin{array}{l}
 = \left( {C \vee \bar A} \right) \vee \bar B
 = \left( {\overline {C \vee \bar A} } \right) \Rightarrow \bar B
\end{array} $

Do đó :  $ \bar C \Rightarrow \left( {\bar A \vee \bar B} \right) = \left( {\bar C \wedge A} \right) \Rightarrow \bar B $