( p ^ q ) v [ ( ¬ p ^ ¬ q ) v q ]

Tengo que simplificarlo. Me pueden ayudar con un paso a paso ya que nunca llego a una proposicion simple o algo parecido?

Saludos!

Hola

Hago distributiva
(p^q) v [(¬p v q) ^ (¬q v q)]

como (¬q v q) es siempre verdadero me queda
(p^q) v (¬p v q)

asociando
[(p^q) v q] v ¬p

Absorcion
q v ¬p = ¬p v q

p=>q

Gracias!