A menudo es necesario transformar una fórmula en otra, sobre todo transformar una fórmula a su forma normal.