llegué hasta cierto punto y no se como seguir.

Me acuerdo maso, después si alguien confirma mejor

Enunciado: Simplificar: (p v q) ^ p ^ (q v r) ^ (p v r v -q) ^ (-q v r)

(p v q) ^ p ^ ((q v r) ^ (-q v r)) ^ (p v r v -q) : CONMUT+ASOC
(p v q) ^ p ^ (r ^ (q v -q)) ^ (p v r v -q) : DIST
(p v q) ^ p ^ (r ^ T) ^ (p v r v -q) : EQ
(p v q) ^ p ^ r ^ (p v r v -q) : IDENT
Hasta acá seguro. A partir de acá lo pienso como compuertas lógicas, ojo:
p ^ q ^ r ^ (r v -q) : DIST
p ^ q ^ (r ^ (r v -q)) : ASOC
p ^ q ^ r : ABS

Los primeros 4 pasos es aplicar propiedades tranqui, después vendría el tema de ver cómo se puede seguir simplificando. Lo pensé como compuertas lógicas donde si el valor general depende de un valor, luego el resto se puede sacar como factor común. El resultado pareciera ser correcto, puse el enunciado original acá para sacar la tabla de verdad: Calculadora de tablas de verdad

Besis

Nico, copiaste mal el enunciado. El cuarto término es: (p v r v -p), no (p v r v -q)

(p v q) ^ p ^ (q v r) ^ (p v r v -q) ^ (-q v r)

Conmuto y asocio para que me queda más cómodo:

((p v q) ^ p) ^ ((q v r) ^ (-q v r)) ^ (p v r v -p)

El último término es verdadero porque están p y p negado, así que se va.
El primer par de términos equivale a p. Podés distribuir y aplicar ley de absorción.
Los términos 3 y 4, equivalen a r. Idem anterior
Queda: p ^ r

P.D.: ematere9, te sugiero poner títulos más descriptivos a los threads. En este caso, por ejemplo, poner ejercicio de qué tema en concreto. Así el que lee el título sabe si meterse o no.