Como identificar e contar proposições simples em uma sentença composta?

Conte as sentenças atômicas; negações não criam novas.

Identifique cada unidade declarativa que não pode ser dividida semanticamente, cada uma é uma proposição simples.
Negações apenas alteram uma proposição existente, não aumentam o número de átomos.
Conectivas ligam essas proposições, portanto a contagem é das propostas atômicas distintas.

Exemplo:
Frase: O equipamento está ligado e o sensor disparou se, e somente se, o técnico aprovou ou não esteve no local.
Proposições simples: p = "o equipamento está ligado", q = "o sensor disparou", r = "o técnico aprovou", s = "o técnico esteve no local".
Forma simbólica: \( (p \land q) \leftrightarrow (r \lor \lnot s) \).
Contagem: 4 proposições simples (p, q, r, s), a negação \(\lnot s\) não cria uma quinta proposição.