Luego podemos representar la expresión formula_4 como: