Eine Klasse algebraischer/logischer Identitäten, die aussagt, dass ein absorbierendes Element für einen Operator jeden Ausdruck, der es enthält, zusammenbrechen lässt (z. B. A ∧ false = false, A ∨ true = true).

Prinzip

Ist ein Operanden eines binären Verknüpfungsoperators ein Annihilator für diesen Operator, so hat der gesamte Ausdruck den Wert dieses Annihilators, unabhängig vom anderen Operanden.

Demonstration

In der klassischen Aussagenlogik ist false ein Annihilator für die Konjunktion: Für jede Formel A gilt A ∧ false = false. Symmetrisch ist true ein Annihilator für die Disjunktion: A ∨ true = true.

Fehlanwendung

Das Anwenden auf nicht-absorbierende oder kontextabhängige Werte (z. B. die Annahme A ∧ 0 = 0 in einer nicht-booleschen Algebra, in der 0 nicht absorbierend ist) oder Verwechseln von Annihilator und neutralem Element (z. B. die Behauptung A ∧ true = true).

Konsequenz

Die Erkennung von Annihilatoren ermöglicht starke Vereinfachungen und Short-Circuit-Auswertung von Formeln und Programmen und reduziert die Beweissuche, indem Zweige mit absorbierenden Werten eliminiert werden.

Umkehrung

Die Umkehr steht im Gegensatz zu Neutralitätssätzen: Während der Annihilator den Ausdruck auf einen festen Wert reduziert, lässt ein neutrales Element den Ausdruck unverändert (A ∧ true = A, A ∨ false = A).

Abgrenzung

Gilt dort, wo Verknüpfungen und ihre absorbierenden Elemente definiert sind (klassische boolesche Verknüpfungen, viele algebraische Strukturen). Sie gilt nicht allgemein in nicht-booleschen Logiken, bei probabilistischen Wahrheitswerten oder in Systemen mit nichtdeterministischen oder kontextabhängigen Operatoren.

Semantische Spannung

Spannung besteht gegenüber Neutralitäts- und Idempotenzgesetzen: Annihilatoren erzwingen ein Zusammenfallen zu einem festen Wert, während Neutralitätsgesetze das nichttriviale Operanden bewahren; welche Eigenschaft betont wird, beeinflusst Vereinfachungsstrategien.

Synthese

Das Annihilatorgesetz besagt, dass bestimmte feste Werte einen zusammengesetzten Ausdruck unter einem gegebenen Operator gleich diesem festen Wert machen; praktisch wird es zur Zusammenfassung, Optimierung und zum Schließen von Formeln verwendet.