Raciocínio lógicoTabelas-verdade tautologia contradição e contingência

• (UFBA 2014)

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 < n < 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”.