Usuario:Alvaro Otero/ejercicio 28

   DEMOSTRAR LAS SIUGIENTES EQUIVALENCIAS

    1.  p^(p v q)  <=> p

    2.  (p^q) v ~p  <=> ~p v q

    SOLUCION

    1.  p^(p v q)  <=> (p ^ p) v ( p ^ q)

                   <=> V v ( p ^ q)

                   <=> V
 como el resultado es verdadero las proposiciones son equivalentes

     2. (p^q) v ~p  <=> ~p v (p^q)

                    <=> (~p v p) ^ (~p v q)

                    <=> V ^ (~p v q)

                    <=> ~p v q