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 :)