como resolver?

Primeiramente precisa da tabela verdade de p, q e r[1]. Em seguida, fazer a tabela de p ou (v) q [2]. pegar o resultado de [2] e fazer tabela de implicação[3]. agora faça uma tabela com o resultado [3] e coloque o ¬q (negacão de q [1], fazer uma tabela de p e(^) ¬q e terás o resultado. https://www.infoescola.com/matematica/conectivos-logicos/

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

\(\begin{array}{l} p \Leftrightarrow q\\ (p \to q)\^(q \to p)\\ (\~p\nabla q)\^(\~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}\)