Un término negado, como formula_10 es considerado como el número binario 0 y el término no negado formula_11 es considerado como un 1.