sobre A) e B): o conectivo OU representa o quantificador "pelo menos um", enquanto o conectivo E representaria se fosse "ambos os sensores"

Avançar !!!

*sistema de monitoramento: utiliza 2 sensores | pode operar em modo de manutenção

==========================

P: o sensor A detecta 1 anomalia

Q: o sensor B detecta 1 anomalia

R: o modo de manutenção está ativado

==========================

*sistema aciona 1 alerta:

-> Pelo menos 1 dos sensores detecta 1 anomalia e o modo de manutenção não está ativado, ou quando ambos os sensores detectam uma anomalia.

==========================

"Pelo menos 1 dos sensores detecta 1 anomalia"

|

V

sensor A ou sensor B detecta 1 anomalia: (P v Q)

|

V

"e o modo de manutenção não está ativado": ^~R

|

V

"ou quando ambos os sensores detectam uma anomalia."

|-> ambos os sensores detectam: ou seja, quando ocorre V + V = V, somente | logo, na | conjunção (e)

|

V

com isso,

|

V

((P v Q) ^ ~R) v (P ^ Q)

pelo menos um dos sensores detecta uma anomalia: p V q

E o modo de manutenção não está ativado: /\ ¬r

OU quando ambos os sensores detectam uma anomalia: V p /\ q

(p V q /\ ¬ r) V ( p /\ q)