Para la negación se utiliza la siguiente fórmula: