( A ∩ B)∩ ( A ∩ B ´)

( A ∩ A ) ∩ ( B∩ B ´ ) L. Asociativa

A ∩ ( B∩ B ´ ) L. Idempotencia

A ∩∅ L. Complemento

∅ L. Identidad

¿
¿ L. Equivalencia

{[ A ∩ ( B ´ ∩ B ) ]∩[( A ∪ B)∩C ]}´ L. Asociativa

{( A ∩∅ )∩[( A ∪B)∩C]}´ L. Complemento

{∅ ∩[(A ∪B) ∩C]}´ L. Identidad

(∅ ) ´ L. Identidad

U L. Equivalencia

( A ∩ B)∪( B ´ ∪ A ´)

[( A ∩ B)∪ B ´] ∪ A ´ L. Asociativa

[ ( A ∪ B ´ ) ∩ ( B ∪B ´ ) ] ∪ A ´ L. Distributiva

[ ( A ∪ B ´ ) ∩U ] ∪ A ´ L. Complemento

( A ∪B ´ )∪ A ´ L. Identidad

( A ∪ A ´ ) ∪B ´ L. Asociativa

U ∪B ´ L. Complemento

U L. Identidad