Questão número 42071

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

• A. Se pelo menos um programa não foi limpo, então algum vírus não permaneceu.
• B. Existe um programa que não foi limpo ou pelo menos um vírus permaneceu.
• C. Nenhum programa foi limpo e todos os vírus permaneceram.
• D. Alguns programas foram limpos ou algum vírus não permaneceu.
• E. Se algum vírus permaneceu, então nenhum programa foi limpos.