Analise as proposições:

x: [p !$ \rightarrow !$ (q !$ \lor !$ r)] !$ \leftrightarrow !$ (p !$ \land !$ ~q !$ \land !$ ~r)

y: (p !$ \rightarrow !$ q) !$ \rightarrow !$ (~q !$ \rightarrow !$ ~p)

Acerca das proposições x e y, é correto afirmar que