O regulamento de segurança determina: "A porta principal está trancada e o alarme está ativado". Aponte a alternativa que apresenta a negação lógica formal dessa proposição conjuntiva, baseando-se nas leis de De Morgan.