Expresse a especificação “A resposta automática não pode ser enviada quando o sistema está sobrecarregado”, usando conectivos lógicos.

Para expressar a especificação “A resposta automática não pode ser enviada quando o sistema está sobrecarregado” usando conectivos lógicos, podemos definir as seguintes proposições: - \( P \): "A resposta automática é enviada." - \( Q \): "O sistema está sobrecarregado." A frase pode ser expressa como: \[ \neg P \lor \neg Q \] Isso significa que "ou a resposta automática não é enviada, ou o sistema não está sobrecarregado".