trasformar (verbo transitivo): Encontrar una expresión equivalente para una proposición, ecuación, sistema, etc.