5.254 A operação pode desaparecer (por exemplo, a negação em “∼∼p”, ∼∼p = p).