Uma afirmação que corresponda à negação lógica da afirmação: todos os programas ...

Questão de Raciocínio Lógico da banca FCC aplicada no concurso TRT 24a (2017). Confira a resolução completa abaixo:

Uma afirmação que corresponda à negação lógica da afirmação: todos os programas foram limpos e nenhum vírus permaneceu, é: