Disculpen fue error mio, lo escribí mal😅😅, lo acabo de corregir
Les agradezco por su tiempo
Ya me parecía. Pero para la próxima vez si corriges un mensaje al que ya te han contestado deberías marcar en rojo, o marcar de alguna manera, la corrección que haces para que el resto del tema no quede descontextualizado. En este caso no se descontextualiza mucho porque afortunadamente hay citas de tu mensaje original. Por ejemplo puedes hacer lo siguiente:
Holaa chicoss, por favor podrían ayudarme con este ejercicio?
Demostrar usando las equivalencias conocidas
\( (\sim{(a\vee b})\Rightarrow{a\vee b})\wedge(a\vee {\color{red}{c}}) \equiv{\sim{a}\Rightarrow{\sim{(b\Rightarrow{\sim{c}}}}}) \)
Corregido.
Te recomiendo leer las
reglas del foro para que nadie te llame la atención por alguna cosa.
Ahora respecto al tema en sí: como te dije antes deberías indicar que equivalencias conoces para saber qué puedes usar o que no en la demostración. Imagino que te refieres a equivalencias de este tipo
\( \displaystyle{
\require{enclose}
\begin{align*}
&\enclose{circle}{1}\,\lnot (A\,\lor\, B)\equiv \lnot A \,\land\, \lnot B\\
&\enclose{circle}{2} \,\lnot (A\,\land\, B)\equiv \lnot A \,\lor\, \lnot B\\
&\enclose{circle}{3} \,A\implies B \equiv \lnot A\,\lor\, B\\
&\enclose{circle}{4}\, A\,\lor\, (B\,\land\, C)\equiv (A\,\lor\, B)\,\land\, (A\,\lor\, C)\\
&\enclose{circle}{5}\, A\,\land\, (B\,\lor\, C)\equiv (A\,\land\, B)\,\lor\, (A\,\land\, C)
\end{align*}
} \)
Si aplicas esas reglas hasta eliminar todas las negaciones y todas las implicaciones de las expresiones originales te van a quedar dos expresiones ya mucho más sencillas de manejar y verificar que son equivalentes. Inténtalo y me dices si te surge alguna dificultad en el desarrollo o no.
Nota: he usado el símbolo \( \lnot \) en vez de \( \sim \) porque el primero es más adecuado en \( \LaTeX \) al respetar las separaciones con otros símbolos. Usando \( \sim \) lo anterior queda algo más confuso.
