converting p ∧ (p→q) into conjunctive form

Question

I want to convert p ∧ (p→q) into conjunctive form.

I started like this:

P ∧ (¬p ∨ q)

But I'm not sure how to continue and how to change this formula to conjunctive normal form.

Answer 1

Then use distributivity and wolframalpha

$p ∧ (p→q) \leftrightarrow p ∧ (¬p ∨ q) \leftrightarrow (p ∧ ¬p) ∨ (p ∧ q) \leftrightarrow \text{false} ∨ (p ∧ q) \leftrightarrow p ∧ q$