Teoria dos Conjuntos - Exercício 4 - Nível Hard

(ITA 2012) Seham A e B dois conjuntos disjuntos, ambos finitos e não vazios, tais que n(P(A)⋃P(B))+1 = n(P(A⋃B)). Então, a diferença n(A)-n(B) pode assumir: a) Um único valor b) Apenas dois valores distintos c) Apenas três valores distintos d) Apenas quatro valores distintos e) Mais do que quatro valores distintos Resolução