Formuła w postaci kpn

[MagusDrDee]

Dla następującej formuły wyznacz równoważną formułę w postaci kpn metodą przekształceń równoważnych.
\(\displaystyle{ \left( p \wedge q \right) \Leftrightarrow \left( r \vee s\right)}\)
Próbowałem rozwiązać to zadanie i otrzymałem postać:
\(\displaystyle{ \left( \left( p \wedge q \wedge \neg r \wedge \neg s\right) \vee \left( r \vee s \right) \right) \wedge \left( \left( p \wedge q \wedge \neg r \wedge \neg s\right) \vee \left( \neg p \vee \neg q\right) \right)}\)
Nie jestem pewien czy ta postać jest postacią kpn.

[Jan Kraszewski]

Ta postać nie jest postacią kpn.

JK

[MagusDrDee]

W jaki sposób mogę otrzymać postać kpn? Zamieniam równoważność na koniunkcję implikacji, następnie przekształcam implikację w alternatywę i od tego momentu mam problem.