Hola gente qué tal. ¿Podrían ayudarme con un ejercicio de Discreta que me está rompiendo la cabeza? Es de lógica.

El enunciado dice: Sin hacer la tabla de verdad, demostrar que las siguientes proposiciones son equivalentes.

[(¬P^¬Q)v R] = [(P=>R) ^ (Q=>R)]

Yo lo que hago es arrancar con el consecuente y empiezo a expandir usando las propiedades.
Pero siempre llego a un punto muerto y no sé cómo seguir.
Agradecería cualquier ayuda. Muchas gracias

Hola si queres subi hasta donde lo hiciste para ver donde te trabaste!

Hola Meli aca està lo que hago yo...

Del Condicional, sacas "factor comun" r y te queda
(¬p ^ ¬ q) v r
No es necesario aplicar Morgan.

Ahhh que bobo... Como no me fui a dar cuenta de eso... Me estaba enfocando en encontrar propiedades para cada caso y me olvidè de eso... Ahi entendì, muchas gracias