Was ist eine disjunktive normalform?

Gefragt von: Marta Henning  |  Letzte Aktualisierung: 26. Mai 2021
sternezahl: 4.5/5 (7 sternebewertungen)

Als disjunktive Normalform wird in der Booleschen Algebra eine in besonderer Weise normierte Funktionsdarstellung Boolescher Funktionen bezeichnet.

Was bedeutet der Begriff disjunktive Normalform?

Bei der disjunktiven Normalform handelt es sich um einen logischen Ausdruck, der aus ODER-Verknüpfungen (Disjunktion – nicht ausschließendes ODER) besteht. ... Nur zwei Ebenen sind zulässig: die obere Ebene der ODER-Verknüpfungen (ODER-Ebene) und die untere Ebene der UND-Verknüpfungen (UND-Ebene).

Was ist eine konjunktive Normalform KNF was eine disjunktive Normalform DNF )?

Eine Disjunktion von Mintermen wird disjunktive Normalform (kurz DNF) genannt. Eine Konjunktion von Maxtermen wird konjunktive Normalform (kurz KNF) genannt. Beispiele: (x1 ∧ x2) ∨ (¬x1 ∧ x3) ∨ x2 ist eine DNF, aber keine KNF. Die Formeln x1 ∨ x2 und ¬x1 ∧ x4 ∧ ¬x6 sind sowohl DNF's als auch KNF's.

Was ist ein Maxterm?

Für jede Zeile, die als Resultat eine 0 liefert, wird eine Klausel gebildet, die alle Variablen der Funktion disjunktiv mit der invertierten Belegung verknüpft. Die entstehenden Terme sind Maxterme.

Was versteht man unter einer Vollkonjunktion?

Disjunktive Normalform (DNF) und Vollkonjunktion: Eine Vollkonjunktion ist ein boolescher Ausdruck, in dem alle Variablen einmal vorkommen (jeweils als negiertes oder nicht negiertes Literal), alle Literale durch Konjunktionen ∧ ( ” und“) verbunden sind.

Aussagenlogik #8 - Disjunktive Normalform (DNF)

17 verwandte Fragen gefunden

Was bedeutet Minterm?

Als Vollkonjunktion (auch Minterm oder Elementarkonjunktion) bezeichnet man in der Aussagenlogik einen speziellen Konjunktionsterm, d. h. eine Anzahl von Literalen (booleschen Variablen), die alle durch ein logisches und ( ) verknüpft sind.

Was sind min und Maxterme?

Definition: Ein Minterm mi ist ein vollständiger Argumenten-Vektor (a,b,c,...,x), für den eine BFkt f(a,b,c,...,x) den Wert '1' liefert. Ein Maxterm Mi ist ein vollständiger Argumenten-Vektor (a,b,c,...,x), für den eine BFkt f(a,b,c,...,x) den Wert '0' liefert.

Was ist eine disjunktion?

Disjunktion („Oder-Verknüpfung“, von lat. ... Die nicht-ausschließende Disjunktion (Alternative, Adjunktion, inklusives Oder, OR) „A oder B (oder beides)“ sagt aus, dass mindestens eine der beiden beteiligten Aussagen wahr ist. Sie ist also nur dann falsch, wenn sowohl A als auch B falsch sind.

Was heißt kontradiktion?

Eine Kontradiktion (aus lateinisch contra, „gegen“ und lateinisch dictio, „das Sagen, Reden“; „Gegenrede, Widerspruch“) liegt in der Logik vor, wenn zwei Begriffe, Urteile oder Aussagen im Widerspruch zueinander stehen und eine gegenseitige Negation darstellen.

Was ist eine antivalenz?

Definition, Bedeutung

Eine exklusiv-ODER-Verknüpfung (auch XOR, EOR, Modulo-2 Addition, Antivalenz oder Kontravalenz) ist ein Begriff aus der Aussagenlogik. Die Gesamtaussage ist dann wahr, wenn entweder die erste Aussage oder die zweite Aussage wahr ist, aber nicht beide.

Wann ist eine Aussage wahr?

Eine Aussage ist das, was durch einen Aussagesatz ausgedrückt wird, wenn wir damit eine Feststellung über einen Sachverhalt treffen. Ein Ausdruck bezeichnet eine Aussage nur dann, wenn er als wahr oder falsch interpretiert werden kann.

Wann ist eine Aussage wahr Philosophie?

Aussagen in der Prädikatenlogik

Wenn es ein x gibt, so dass beide Terme denselben Wert erhalten (z. B. für x = 0), so ist die Aussage wahr, andernfalls falsch.

Wann sind zwei Aussagen äquivalent?

Die Logische Äquivalenz beschreibt die Werteverlaufsgleichheit von Aussagen, analog dem Gleichheitszeichen in der Algebra. So sind zwei Aussagen A, B der klassischen Aussagenlogik genau dann logisch äquivalent, wenn der Werteverlauf (Wahrheitstabelle) der beiden Aussagen gleich ist.

Wie funktioniert XOR?

Ein XOR-Gatter kann zwei oder mehrere Eingänge haben und erfüllt dann die Exklusiv-Oder-Funktion, wenn ein Eingang einer logischen Eins entspricht, der oder die anderen Eingänge einer logischen Null. Sind alle Eingänge logisch Null, ist die Bedingung nicht erfüllt.

Was ist die XOR Verschlüsselung?

Per XOR (kurz für exclusive Or) wird jedes Bit des Klartextes mit jedem Bit des Schlüssel exklusiv-oder verknüpft, um den Geheim-Binär-Strom zu erzeugen. ... Man kann also einen verschlüsselten Strom wieder entschlüsseln, indem man ihn nochmals mit dem Schlüssel verschlüsselt.

Was versteht man unter Tautologie?

Tautologie (von altgriechisch ταὐτό = τὸ αὐτό to autó „dasselbe“ sowie λόγος lógos „Sprechen, Rede“) bezeichnet in der Stilistik und Rhetorik eine rhetorische Figur, bei der mit einer inhaltlichen Wiederholung, also einer semantischen Redundanz, gearbeitet wird.

Was heisst kontradiktorisch?

kon·tra·dik·to·risch, Komparativ: kon·tra·dik·to·ri·scher, Superlativ: kon·tra·dik·to·rischs·ten. Bedeutungen: [1] Philosophie: sich widersprechend, sich gegenseitig aufhebend (von zwei Aussagen) [2] Linguistik: Eigenschaft eines bestimmten Typs von Bedeutungsbeziehung, der Antonymie, zwischen Wörtern.