La negación de formula_1 la escribiremos