Analise a tabela verdade abaixo para responder à questão.
| P | Q | !$ \neg (P \, \land \, \neg Q) \, \rightarrow \, (P \, \leftrightarrow \, Q) !$ |
| F | F | x |
| F | V | y |
| V | F | z |
| V | V | k |
Considerando os conectivos lógicos !$ \neg !$ (não), !$ \land !$ (conjunção, e), !$ \vee !$ (disjunção, ou), e !$ \longleftrightarrow !$ (bicondicional, se e somente se) e !$ \rightarrow !$ (condicional, se ... então ...), e que “F” representa falso e “V” verdadeiro, os valores lógicos que substituem respectivamente x, y, z e k são
