p^(p^¬q) iff (p^q)

Question

Prove the following tautology by starting with the left side and finding a series of equivalent well-formed formulas that will convert the left side into the right.

Answer 1

Is this what you want to show is a tautology?

 

[ p ∧ ( p ∧ ¬q ) ] ↔ ( p ∧ q) 

 

it isn't a tautology.