Como identificar e contar as proposições simples em uma proposição composta?

Contando as sentenças atômicas distintas, conectivos apenas as combinam.

Para contar, identifique cada sentença atômica que aparece na expressão simbólica, elimine repetições, os conectivos lógicos não criam novas atômicas, apenas conectam as existentes.
Verifique a forma simbólica, isole os símbolos atômicos e conte-os.

exemplo:
\( (P \land Q) \to (R \lor (S \land T)) \)
P: enviou o relatório
Q: revisou os dados
R: aprovou a proposta
S: atualizou o sistema
T: notificou a equipe

Total de proposições simples = 5