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

Se pelo menos um programa não foi limpo, então algum vírus não permaneceu.

Existe um programa que não foi limpo ou pelo menos um vírus permaneceu.

Nenhum programa foi limpo e todos os vírus permaneceram.

Alguns programas foram limpos ou algum vírus não permaneceu.

Se algum vírus permaneceu, então nenhum programa foi limpos.