De Morgan azonosságok halmazokra

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