Lo agradecería mucho si alguien supiese ya que estoy bastante perdido.
(p→q´) ∧ (q´→p)´ =
(p´v q´´) ∧ (q´´v p)´ =
(p´v q) ∧ (qv p)´ =
(p´v q) ∧ (q´∧ p´)´´ =
(p´v q) ∧ (q´ ∧ p´) =
[p´∧ (q´ ∧ p´)] v [q ∧ (q´∧ p´)] =
(p´∧ q´ ∧ p´∧ p´) v (q ^ q´ ^q ^ p´)=
(p´∧ q´ ) v (q´ ^q ^ p´)=
(p´∧ q´ ) v (0 ^ p´)=
(p´∧ q´ ) v 0 =
p´∧ q´