con lo que tenemos la función obtenida por minitérminos.