(20-04-2014 21:19)m68540534 escribió:  Es buenísimo el wolfram alpha, yo lo conocí el año pasado. La manera más fácil de ver el tema de los paréntesis es pensar en los OR como sumas, los AND como multiplicaciones y los NOT como potencias.
Vos después de simplificar los dos NOT tenés (¬pvq)v (p^r)^q, vamos a verlo como si fuera (p^2+q)+ (p*r)*q, ahí tenés tres proposiciones multiplicándose. Por ser la misma operación, aplicando la propiedad asociativa de la multiplicación (AND) podemos eliminar los paréntesis y da lo mismo, quedando (p^2+q)+ p*r*q, y de la misma manera podemos volver a ponerlos así (p^2+q)+ (p*r*q). En cambio si hicieramos [(p^2+q)+ p*r]*q estaría mal, porque sumaríamos antes de hacer la última multiplicación.
De la misma manera podemos hacer esto p^2+q+ p*r*q sin alterar el resultado, y por consiguiente podemos hacer esto p^2+(q+ p*r*q), si reemplazás por números es obvio que dan lo mismo, y todo se debe a la propiedad asociativa de la suma (OR).
Se entiende la idea?

ahora entendi, me ayudo bastante el pasarlo a sumas y productos, esto si yo lo pongo en el ejercicio se justifica de alguna forma? yo por si resuelvo asi y el profesor me pide algo de mas. gracias