Ao definir as políticas de segurança da informação para o trabalho remoto, o departamento de tecnologia de uma empresa estabeleceu o seguinte protocolo para os funcionários:

“Se o colaborador acessar o sistema corporativo por uma rede pública, então a autenticação em dois fatores será obrigatória”.

Considerando as regras da lógica proposicional, a proposição que representa corretamente a negação do protocolo estabelecido pelo departamento é: