Math Logic

I JUST started with this, and I can't do the exercises, I simply don't know where to start... I have to verify:

Code:

[p^(p=>q)]=>q

What I've got so far is

Code:

~[p^(p=>q)] v q
~p v ~(p=>q) v q
~p v (p ^ ~q) v q

After that step I just don't know what to do, also, just in case my symbols aren't used correctly, ^ conjunction, v as "or" and ~ as "no".
It should be universal language but I hope I didn't do anything stupid just cause I'm asking in english.