5.254 Die Operation kann verschwinden (z. B. die Verneinung in „∼∼p“, ∼∼p = p).