Es bezieht sich auf die Bedeutung der doppelten Negation.
Es bezieht sich auf das Auflösen von Klammern.
Es definiert Vorrangigkeit und Bindungsstärke.
Es zeigt wie sich Funktionszeichen bei Negation verändern können.