Una forma normal es una expresión equivalente irreductible.