Đề bài:
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) $
Lời giải
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) $
Trả lời