Die Negation von "und" wird zu "oder" und umgekehrt:
Für Mengen: (A∩B)c=Ac∪Bc(A\cap B)^c=A^c\cup B^c(A∩B)c=Ac∪Bc und (A∪B)c=Ac∩Bc(A\cup B)^c=A^c\cap B^c(A∪B)c=Ac∩Bc.