Dados três conjuntos finitos 𝐴, 𝐵 e 𝐶, é verdade que
𝐴 ∪ (𝐵∩𝐶) = (𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶).
𝐵 ∪ (𝐴 ∩ 𝐶) = (𝐴 ∩ 𝐵) ∪ (𝐵 ∩ 𝐶).
𝐶 ∩ (𝐴 ∪ 𝐵) = (𝐴 ∪ 𝐶) ∩ (𝐵 ∪ 𝐶).
𝐵 ∩ (𝐴 ∪ 𝐶) = (𝐴 ∪ 𝐵) ∩ (𝐵 ∩ 𝐶).
𝐴 ∪ (𝐵 ∪ 𝐶) = (𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶).