Donde los tres literales:formula_1, formula_2 y formula_3, son distintos de cero: