\( \neg \left( A \land B \right ) = \neg A \lor \neg B \)
\( \neg \left( A \lor B \right ) = \neg A \land \neg B \)
\( \neg \left( A \Rightarrow B \right ) = A \land \neg B \)
\( \neg \left( A \Leftrightarrow B \right ) = A \Leftrightarrow \neg B \)
De Morgan azonosságok a konjunkció, diszjunkció, implikáció és ekvivalencia tagadásaira.
1.
Készítsük el az alábbi állítások igazságtábláit.
a) \( \neg A \wedge \neg B \)
b) \( A \wedge \neg B \)
c) \( \left( A \lor B \right) \Rightarrow \left( A \wedge B \right) \)
d) \( \neg A \Rightarrow \left( A \wedge B \right) \)
e) \( \neg A \wedge \left( A \lor B \right) \)
