Esta equivalencia queda clara, puesto que se obtiene una tautología.