Qual das alternativas representa CORRETAMENTE a negação lógica da proposição “ Se o aluno estuda, então ele passa na prova e fica satisfeito. ”?

Se o aluno não estuda, então ele não passa na prova e não fica satisfeito.

O aluno estuda e não passa na prova nem fica satisfeito.

O aluno não estuda e não passa na prova ou não fica satisfeito.

O aluno estuda e não passa na prova ou não fica satisfeito.

Se o aluno passa na prova, então ele estudou e ficou satisfeito.