O valor lógico de uma proposição p é verdadeiro e o valor lógico de uma proposição q é verdadeiro. Nessas condições, o valor lógico da proposição composta [(p ↔ q) → ~p]^ ~q é: