Hola, tengo el siguiente ejercicio:
\( (p\Leftrightarrow{}\sim{q})\longrightarrow{r} \)
me piden hallar una formula equivalente utilizando solo los siguientes conectivos logicos: \( \sim{}, \wedge, \vee \)
El problema que encuentro es que no se como reemplazar el bicondicional en \( (p\Leftrightarrow{}\sim{q}) \). Todas las formulas equivalentes que tengo en mi libro refieren a p y q como positivas, pero no se como trabajar cuando una proposicion es negativa (en este caso q) y otra positiva (p).