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