Nos sistemas computacionais e na modelagem de processos, é comum utilizar raciocínio lógico para representar condições de funcionamento e analisar situações simultâneas. A compreensão das leis de equivalência é essencial para simplificar diagnósticos e garantir decisões consistentes em ambientes informatizados. 

Considere as proposições:
? P: “O servidor está ativo” ? Q: “O sistema está disponível”

Qual alternativa representa corretamente a negação da afirmação composta “O servidor está ativo e o sistema está disponível”?