Question

Como resolver ejercicios así de negación, conjucion y disyuncion

~(~P^Q) -> (PvQ)

Answer 1

-( -p^q) -> ( p vq) implicacion
( -p^q) v ( p v q) agrupamos
-p ^ ( q v q) v p
-p ^ (q v p) distribucion
(-p^p) v( -p ^ q) conjuncion
F v ( -p^q) disyuncion

(-p^q)