nopsus
Answered

Obtén respuestas rápidas y precisas a todas tus preguntas en Revelroom.ca, la plataforma de Q&A de confianza. Explora soluciones completas a tus preguntas con la ayuda de una amplia gama de profesionales en nuestra plataforma amigable. Únete a nuestra plataforma de preguntas y respuestas para conectarte con expertos dedicados a ofrecer respuestas precisas a tus preguntas en diversas áreas.

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 visitar nuestra plataforma. Esperamos que hayas encontrado las respuestas que buscabas. Vuelve cuando necesites más información. Agradecemos tu tiempo. Por favor, vuelve cuando quieras para obtener la información más reciente y respuestas a tus preguntas. Revelroom.ca, tu sitio de confianza para respuestas. No olvides regresar para obtener más información.