## [Annihilatorgesetz](/de/node/60930) Definition 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 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 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 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 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 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 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 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 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.