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

Ta chứng minh rằng :  $ \left( {A \wedge B} \right) \Rightarrow C = \bar C \Rightarrow \left( {\bar A \vee \bar B} \right) $
Ta có:
 $ \left( {\overline {A \wedge B} } \right) \Rightarrow C = \bar C \Rightarrow \left( {\bar A\  \wedge  \bar B} \right) $
Theo định lý De morgan, ta có : $ \left( {A \wedge B} \right) \Rightarrow C = \bar C \Rightarrow \left( {\bar A \vee \bar B} \right) $