Sejam A, B e C três conjuntos. Simplificar as escrituras seguintes :
Passo 1
O enunciado pede para simplificar a expressão
O conteúdo envolvido é álgebra de conjuntos, em particular as leis de De Morgan e as propriedades de união e interseção.
Passo 2
Aplicando a lei de De Morgan ao complemento de uma união, temos
Logo a expressão vira
Passo 3
Agora usamos a fatoração (distributiva inversa) na interseção com
:
Como
é o universo, isto é, o conjunto todo, então