Lógica y algebras de boole(6)

Simpli fica la expresión siguiente

i) (p → q) ↔ p

(¬p ∧ q)↔ p <=>
[(¬p ∧ q)∧p] ∧ [¬(¬p∨q)∧ ¬p]<=>
[(¬p∨q)∧p]∨[(p∧¬q)∧ ¬p] <=>
[(¬p∧p)∨(q∧p)] ∨ [(p∧¬p)∧(¬q∧p)] <=>
(q∧p)∨(¬q∧p) <=>
p∧(q ∧ ¬q) <=>
p ∧ Contradicción <=> Contradicción