Logikai De Morgan azonosságok

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