Como determinar quantas proposições simples distintas formam uma proposição composta?

Contando cada proposição simples distinta apenas uma vez, mesmo que apareça repetida.

Identifique as proposições simples, atribua símbolos, liste-os sem repetições e conte-os.
Passos: identificar átomos, eliminar repetições, contar elementos únicos.

Exemplo:
Proposição composta: A ∨ (B ↔ (C ∧ A)) ∧ D
A = lâmpada queimada, B = fusível queimou, C = técnico reparou, D = circuito molhado
Conjunto das proposições simples distintas: \( \{A,B,C,D\} \), total = \(4\).