One way to prove this without a truth table is to use a conditional proof. We assume the portion p ^ (p --> q). If that's true, then so is p and p-->q
Using p and p-->q, the modus ponens rule allows us to derive q. It says that if p is true and p --> q, then q must be true as well.
Since we arrive at q, we have found the conclusion we're after. The assumption (p ^ (p-->q)) leads to q, and therefore the entire statement (p ^ (p-->q)) --> q is true for any combination of p,q.
