(pvq) v [(~p^~q) v p]
Aplicando la distribución del "v" sobre "^" en la segunda parte de la expresión, obtenemos:
(pvq) v (~p v p) ^ (~q v p)
Luego, aplicamos la resolución a las dos cláusulas que contienen "p" en la segunda parte de la expresión:
(pvq) v (~q v p)
Finalmente, simplificamos la expresión combinando las cláusulas:
pvq v ~q
Eso es el equivalente más simple de la expresión usando la resolución.