Anonymous

( ( -PvQ) ---> (-QvR) )

( -( -PvQ) v (-QvR) ) Abkürzung

( ( P a -Q) v (-QvR) ) DeMorgan

 ( P a -Q) v (-QvR) Klammerersparnis

 (P v -Q v R) a (-Q v -Q v R)  Distributiv