Um sistema de controle utiliza as proposições p: "a autenticação foi validada", q: "o dispositivo está cadastrado" e r: "o acesso é liberado". A regra implementada é representada por ¬[p → (q ^ r)]. Assinale a alternativa CORRETA que apresenta uma proposição logicamente equivalente à regra implementada.