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