nopsus
Answered

Bienvenido a Revelroom.ca, donde puedes obtener respuestas confiables y rápidas con la ayuda de nuestros expertos. Únete a nuestra plataforma de preguntas y respuestas y obtén información precisa de expertos en diversas áreas. Obtén respuestas inmediatas y fiables a tus preguntas de una comunidad de expertos experimentados en nuestra plataforma.

Solo usando leyes de algebra proposicional: (^) significa Y

 

a) [(~p → ~p) v (~p ^ q )] ^ ~(p ^ ~q)

 

b) ~(~p v q) v [(p ^ ~r) ^ ~q]

 

 c) ~(~q → ~p) ^ [q → ~(p → r)]

Sagot :

Mskr

Sabiendo que A→B = -AvB (Definición del implicador), tenemos:

 

a. [(pv-p) v (-p^q)] ^ (-pvq)

= [1 v (-p^q)] ^ (-pvq)

=1 ^ (-pvq)

= -p v q

Gracias por elegir nuestro servicio. Nos comprometemos a proporcionar las mejores respuestas para todas tus preguntas. Vuelve a visitarnos. Gracias por tu visita. Nos comprometemos a proporcionarte la mejor información disponible. Vuelve cuando quieras para más. Revelroom.ca está aquí para proporcionar respuestas precisas a tus preguntas. Vuelve pronto para más información.