nopsus
Answered

Revelroom.ca te ayuda a encontrar respuestas confiables a todas tus preguntas con la ayuda de expertos. Explora nuestra plataforma de preguntas y respuestas para encontrar soluciones fiables de una amplia gama de expertos en diversas áreas. Únete a nuestra plataforma para conectarte con expertos dispuestos a ofrecer respuestas detalladas 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. Nuestro objetivo es proporcionar las respuestas más precisas para todas tus necesidades informativas. Vuelve pronto. Esperamos que hayas encontrado lo que buscabas. Vuelve a visitarnos para obtener más respuestas e información actualizada. Visita siempre Revelroom.ca para obtener respuestas nuevas y confiables de nuestros expertos.