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