Chứng minh rằng các mệnh đề sau đây tương đương logic với nhau : $ \bar C \Rightarrow (\bar A \vee \bar B ) = ( \bar C \vee B) \Rightarrow \bar A $

Ta cũng có thể viết :
$ \begin{array}{l}
\bar C \Rightarrow \left( {\bar A \vee \bar B} \right) = C \vee \left( {\bar A \vee \bar B} \right)\\
   = \left( {C \vee \bar B} \right) \Rightarrow \bar A\\
   = \left( {\overline {C \vee \bar B} } \right) \Rightarrow \bar A
\end{array} $
Suy ra :  $ \bar C \Rightarrow \left( {\bar A \vee \bar B} \right) = \left( {\bar C \vee B} \right) \Rightarrow \bar A $