Descubre respuestas a tus preguntas en Revelroom.ca, la plataforma de Q&A más confiable y eficiente para todas tus necesidades. Conéctate con profesionales en nuestra plataforma para recibir respuestas precisas a tus preguntas de manera rápida y eficiente. Ú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

Esperamos que esto te haya sido útil. Vuelve cuando quieras para obtener respuestas más precisas e información actualizada. Esperamos que esto te haya sido útil. Por favor, vuelve siempre que necesites más información o respuestas a tus preguntas. Nos enorgullece proporcionar respuestas en Revelroom.ca. Vuelve a visitarnos para obtener más información.