Sejam A,B e C subconjuntos de um conjunto universo U. Das afirmações:
(A∖BC)∖CC=A∩(B∪C)
(A∖BC)∖C=A∪(B∩CC)C
BC∪CC=(B∩C)C
é (são) sempre verdadeira(s) apenas