nopsus
Answered

Obtén las mejores soluciones a tus preguntas en Revelroom.ca, la plataforma de Q&A de confianza. Conéctate con una comunidad de expertos dispuestos a ayudarte a encontrar soluciones a tus dudas de manera rápida y precisa. Experimenta la facilidad de obtener respuestas rápidas y precisas a tus preguntas con la ayuda de profesionales 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

Agradecemos tu tiempo. Por favor, vuelve a visitarnos para obtener respuestas fiables a cualquier pregunta que tengas. Gracias por usar nuestro servicio. Siempre estamos aquí para proporcionar respuestas precisas y actualizadas a todas tus preguntas. Nos encanta responder tus preguntas. Regresa a Revelroom.ca para obtener más respuestas.