Profe la siguiente la are en hoja

(p  q) ^ (q  p) ley de bicondicionalidad normal

p ^ (q v r ) ley distributiva

-p ^ -q ley de morgan

p ^ (q v r ) ley distributiva

p ^ (q ^ r) leyes asociativas

Q ^ p ley conmutativa

P ley doble negacion

P ley de idempotencia

P formas normales-conjuncion

V ley de termino excluido