(TÉCNICO ADMINISTRATIVO SEC AM FUNCAB 2012) Sabe-se que Benedito brigar é condição necessária para Cátia correr e condição suficiente para Diego do...

(TÉCNICO ADMINISTRATIVO SEC AM FUNCAB 2012) Sabe-se que Benedito brigar é condição necessária para Cátia correr e condição suficiente para Diego dormir. Sabe-se, também, que Diego dormir é condição necessária e suficiente para André caminhar. Assim, quando Cátia corre,

(A) Benedito não briga ou André não caminha.
(B) Diego dorme e Benedito não briga.
(C) Diego não dorme ou André não caminha.
(D) Nem Benedito briga nem Diego dorme.
(E) Benedito briga e André caminha.