Raciocínio Lógico

Do regulamento de uma universidade consta: Se a nota de um aluno for maior do que 4 e menor do que 5, ele pode fazer uma prova substitutiva ou um trabalho extra, mas não ambos. Simbolicamente, essa afirmação pode ser representada por: 4 lt; n lt; 5 ⇒ (p ∨ t) ∧ ~(p ∧ t)”, em que n é a nota do aluno, p o aluno pode fazer uma prova substitutiva”, e t o aluno pode fazer um trabalho extra”.