Disjunktionsterm
Sign in to savein logic, disjunction of literals
Wikidata facts
- Subclass of
- finite set
- Has part
- literal
Show 2 more facts
- studied by
- Boolean algebra
- maintained by WikiProject
- WikiProject Mathematics
Sources (1)
via Wikidata · CC0
Article · Deutsch
Ein Disjunktionsterm (auch als Disjunktionsglied oder Klausel bezeichnet) ist eine Boolesche Funktion, die ausschließlich durch die disjunktive Verknüpfung von Literalen gebildet wird. Ihre allgemeine Form sieht 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 von Literalen bezeichnet man als Konjunktionsterm. Einige Beispiele für Disjunktionsterme, wobei jeweils Atome seien:
Abstract from DBpedia / Wikipedia · CC BY-SA