Más aún, existe un algoritmo para computar la forma normal: la reducción de orden normal.