Algunas ecuaciones son verdades para todos los valores de las variables implicadas (por ejemplo formula_7); tales ecuaciones son llamadas identidades.