Se o valor lógico da proposição s é verdade, o valor lógico da proposição t é falso e o valor lógico da proposição u não se conhece, então o valor lógico da proposição composta [(t !$ \rightarrow !$ u) v s] !$ \leftrightarrow !$ t é: