Philosophy? Check my work?

[vecoma]

I think this is consistent. can someone tell me if i am right or wrong?

{ R <=> (~(P=>(Q&~R)) => P), P,Q v R }