Sejam A, B e C subconjuntos de um conjunto universo U, e \( \overline{B} \) o complementar de B com relação a U. Independentemente das relações entre os subconjuntos A,B e C, a operação (B U C) - (A U \( \overline{B} \)) sempre é equivalente a: