Questão de Raciocínio Lógico

Durante a modelagem de um sistema lógico, considera-se a proposição "Se um banco de dados está íntegro, então não houve falha de gravação". Para fins de simplificação, deseja-se reescrever essa proposição por uma forma logicamente equivalente, preservando o valor lógico em qualquer cenário possível. Considerando as equivalências clássicas da lógica proposicional, assinale a alternativa que apresenta corretamente uma forma equivalente da proposição dada.