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?.