La regla de la negación de la conjunción se puede escribir en la subsiguiente notación: