De Morgan’s law (A∪B)C=AC∩BC (A∩B)C=AC∪BC Another form can be written as: A−(B∪C)=(A−B)∩(A−C) A−(B∩C)=(A−B)∪(A−C).