Nopsusidn
Answered

IDNStudies.com, donde tus preguntas encuentran respuestas claras. Nuestra comunidad está aquí para proporcionar respuestas detalladas a todas tus preguntas y problemas.

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 :

Mskridn

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

Tu participación activa es fundamental. No dudes en regresar para seguir contribuyendo con tus preguntas y respuestas. Juntos construiremos una comunidad más sabia. Gracias por visitar IDNStudies.com, donde tus dudas se resuelven fácilmente. Vuelve para obtener más información útil.