Odwrotna notacja polska, czy dobrze to zrobiłem?

Question

Witam czy te formuły:

1. ¬(PvS)⇔(¬Q⇒R)

2. ¬[(P⇒Q)v(P⇔Q)]

po przekształceniu na postać odwrotnej notacji polskiej będzie wyglądać tak:

1. PSv¬Q¬R⇒⇔

2. PQ⇒PQ⇔v¬

Dobrze to zamieniłem ?

I drugie pytanie jak zamieniać formuły na postać  notacji polskiej?

Z góry dziękuje za pomoc :)