formula_12 Observemos que equivale a la negación.