En particular, a causa de la particular definición del operador NOT se verifica que: