5.254 La operación puede desaparecer (por ejemplo, la negación en «~~p», ~~p = p).