Reconoce el operador que se ejecuta sobre un único valor de verdad, devolviendo el valor contradictorio de la proposición considerada.