hmm;
ich denke du musst auch noch folgende klammerungen (du hast in deinen auch einige dreher drin) einbeziehen:

(~p & q) -> r
~p & (q -> r)