\( \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.