https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Disjunktionsterm 2026-06-03T09:50:55Z Versionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale Kopie MediaWiki 1.43.8 https://wiki-de.moshellshocker.dns64.de/index.php?title=Disjunktionsterm&diff=278063&oldid=prev 2021-07-13T07:24:03Z

<p>Abschnittlink korrigiert</p> <p><b>Neue Seite</b></p><div>Ein &#039;&#039;&#039;Disjunktionsterm&#039;&#039;&#039; (auch als &#039;&#039;&#039;Disjunktionsglied&#039;&#039;&#039; oder &#039;&#039;&#039;Klausel&#039;&#039;&#039; bezeichnet) ist eine [[Boolesche Funktion]], die ausschließlich durch die [[Disjunktion|disjunktive Verknüpfung]] von [[Literal]]en gebildet wird. Ihre allgemeine Form sieht so aus:<br /> <br /> &lt;math&gt;X_1 \vee X_2 \vee \dots \vee X_k&lt;/math&gt;, wobei &lt;math&gt; X_i \in \lbrace 0, 1 \rbrace&lt;/math&gt;.<br /> <br /> Ein Disjunktionsterm, der sämtliche Indizes der betrachteten Booleschen Funktion &lt;math&gt;F\colon \{0;1\}^n \rightarrow \{0;1\}&lt;/math&gt; enthält, wird auch als [[Maxterm]] bezeichnet. Fügt man mehrere Disjunktionsterme durch [[Konjunktion_(Logik)|Konjunktionen]] zusammen, so erhält man eine [[konjunktive Normalform]].<br /> <br /> Die entsprechende konjunktive Verknüpfung von Literalen bezeichnet man als [[Konjunktionsterm]].<br /> <br /> Einige Beispiele für Disjunktionsterme, wobei &lt;math&gt;A_i&lt;/math&gt; jeweils [[Aussage (Logik)#Einfach – zusammengesetzt|Atome]] seien:<br /> :&lt;math&gt;\neg A_0 \vee A_1&lt;/math&gt;<br /> :&lt;math&gt;A_0 \vee A_1 \vee A_2&lt;/math&gt;<br /> :&lt;math&gt;\neg A_0 \vee \neg A_1 \vee \neg A_2&lt;/math&gt;<br /> <br /> <br /> [[Kategorie:Mathematische Logik]]</div>

imported>Mike Krüger