hola, no puedo resolver este ejercicio (p v ¬q) ^ [(¬p v q) v (¬(¬p v ¬r)) ^ q]. Aplico de Morgan y no sè que mas puedo hacer, un amigo me dijo que aplique Asociativa y después Absorción pero no se puede (tampoco me responde los mnsj). Cualquier ayuda se agradece.

PD: El ejercicio es el 5b del TP1

No tengo la guía a mano, pero puede ser que falte un par de paréntesis dentro del corchete que encierre los 2 primeros términos?

Si es así, la parte de absorción que dice tu amigo creo que seria en el corchete. Si te fijas lo que esta dentro del corchete se reduce a q, si q verdadero => el corchete es verdadero, si q es falso => el corchete es falso.

Después de eso te queda:

(p v ¬q) ^ q

(p ^ q) v (¬q ^ q)

p^q

*Fijate si alguien te puede chequear, o si hay solución en la guía