Sejam !$ A !$, !$ B !$ e !$ C !$ subconjuntos de um conjunto universo !$ U !$. Das afirmações:
I. !$ (A\smallsetminus B^C)\smallsetminus C^C=A \cap (B\cup C) !$;
II. !$ (A\smallsetminus B^C)\smallsetminus C=A \cup (B\cap C^C)^C !$ ;
III. !$ B^C\cup C^C=(B\cap C)^C !$,
é (são) sempre verdadeira(s) apenas
