Considere as seguintes representações para os conetivos: conjunção (!$ \land !$), negação ( ¬ ), condicional ( → ) e bicondicional ( ↔ ). Para os símbolos proposicionais P e Q, a tabela-verdade da fórmula (!$ P \rightarrow ¬ Q !$) ↔ (!$ P \land Q !$) é uma: