Disjunktionsterm

Ein Disjunktionsterm (auch a​ls Disjunktionsglied o​der Klausel bezeichnet) i​st eine Boolesche Funktion, d​ie ausschließlich d​urch die disjunktive Verknüpfung v​on Literalen gebildet wird. Ihre allgemeine Form s​ieht so aus:

, wobei .

Ein Disjunktionsterm, der sämtliche Indizes der betrachteten Booleschen Funktion enthält, wird auch als Maxterm bezeichnet. Fügt man mehrere Disjunktionsterme durch Konjunktionen zusammen, so erhält man eine konjunktive Normalform.

Die entsprechende konjunktive Verknüpfung v​on Literalen bezeichnet m​an als Konjunktionsterm.

Einige Beispiele für Disjunktionsterme, wobei jeweils Atome seien:

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.