Problema: Por doble entrada demostrar que

𝐴⋃ 𝐵⋂𝐶 = 𝐴 ∪ 𝐵 ∩ 𝐴 ∪ 𝐶
Solución a) 𝐴⋃ 𝐵⋂𝐶 ⊂ 𝐴 ∪ 𝐵 ∩ 𝐴 ∪ 𝐶
∀𝑥 ∈ 𝐴⋃ 𝐵⋂𝐶 Usando definición se tiene:
𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵⋂𝐶 ⟹ 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵⋀𝑥 ∈ 𝐶
⟹ 𝑥 ∈𝐴∨ 𝑥 ∈𝐵 ∧ 𝑥 ∈𝐴∨ 𝑥 ∈𝐶
puesto que cumple con la distributiva de las leyes lógicas.
Ejercicios