So, I have the statement

(p ^ q) \/ (p ^ ¬ q) ≡ p

I have to prove the given logical equivalence using Theorems and not constructing a truth table. If anyone has as idea how I prove this I would appreciate an explanation and solution.

cheers

-ipatch