Es una función de varios argumentos que vale formula_1 sólo si todos sus argumentos valen formula_1.