Determine weather (not p^(p->q))-> not p.
I don't know where to start. The only way I know is use truth table.
Check out a Java applet at izyt.com - Boolean Logic: Applet. It not only computes the simplified expression but also lists the steps done.