siendo formula_5 la operación binaria, que representamos: