Hola:
Sí, se puede resolver aplicando equivalencias (o leyes algebraicas). . La idea sería partir de la proposición dada y aplicando equivalencias la voy transformando paso a paso hasta llegar a una tautología conocida.
De todos modos, parece más sencillo resolverlo con tableau.
