Bom dia Pessoal, alguém sabe como resolver?

muito confuso

Para resolver a expressão dada, realizaremos os cálculos abaixo:

\(\begin{array}{lllllllllllllll} {p \Leftrightarrow q} \\ {{{(p \to q)}^{(q \to p)}}} \\ {{{(\;p\nabla q)}^{({\text{}}\;q\nabla p)}}} \\ {((\;p\nabla q)\;q)\nabla ({{(\;p\nabla q)}^p})} \\ {((\;p\;q)\nabla (q\;q))\nabla ((\;{p^p})\nabla ({q^p}))} \\ {((\;p\;q)\nabla c)\nabla (c\nabla ({q^p}))} \\ {(\;p\;q)\nabla ({q^p})} \end{array}\)

Do resultado encontrado temos:

\(\begin{align}&&(\;p\;q)\nabla ({q^p})\\&&p{q^{1 + p}}\\&&p~s\\&&q~r\end{align}\)