Az első De Morgan azonosság azt mondja, hogy a metszet komplementere pont megegyezik a komplementrek uniójával:
\( \overline{ A \cap B} = \overline{A} \cup \overline{B} \)
A második De Morgan azonosság pedig azt mondja, hogy az unió komplementere éppen megegyezik a komplementerek metszetével:
\( \overline{ A \cup B } = \overline{A} \cap \overline{B} \)