Em um sistema de controle de acesso, utiliza-se a seguinte regra:

“Se o funcionário não apresentou identificação, então o acesso é bloqueado.”
O gestor deseja substituir essa frase por outra logicamente equivalente, mantendo exatamente o mesmo sentido lógico, mas escrita de forma direta e sem a estrutura de “se… então”.

Qual das alternativas abaixo expressa uma frase logicamente equivalente à regra original?