5.254 L'operazione può scomparire (ad es. la negazione in «~~p», ~~p = p).