[TI] Einschlägige Indizies

[seb]

Hi hab ne sehr elementare Frage.

Ich hab verpasst was einschlägige Indizies sind. Was heisst dieses "einschlägig" genau? Gibs da eine Definition?

[limx]

Wenn du die Minterme einer Booleschen Funktion (also eine Funktion die nur einen booleschen Wert liefert) bildest brauchst du die einschlägigen Indizes. Du nimmst die Wetetabelle der Booleschen Funktion mit den Parametern x1, x2, ..., xn auf und dazu halt den Funktionswert z und schaust für welche Eingangswerte (die x Werte), der z Wert 1 ist. Das sind die einschlägigen Indizes. Mit den Minternen kannst du dann die Disjunktive Normalform bilden. Bei Aufgabe 4 vom ersten Blatt hast du die Wertetabelle:

x1 x2 f(x1, x2)
0 0 1 <--
0 1 0
1 0 1 <--
1 1 0

Die Zeilen mit den Einsen sind die einschlägigen Indizes, die Minterme wären dann (Tilde heißt NICHT): ~x1 * ~x2 und x1 * ~x2. Die DNF ist dann einfach die Minterme disjungiert: ~x1 * ~x2 + x1 * ~x2. Mit dieser DNF kannst du jetzt die Funktion darstellen.

[j0n1]

Kurz gefasst: Du guckst einfach wo die Funktion 1 wird und diejenigen Minterme(der einschlägigen Indizes) disjunktiv verknüpft bilden deine DNF.

[seb]

x1 x2 f(x1, x2)
0 0 1 <--
0 1 0
1 0 1 <--
1 1 0

Was ich meinte ist, und heute in der TI Vorlesung glaub ich's gecheckt zu haben, das die einsch. Indizies von deinem Beispiel wären: 1 und 5

[heny]

Ich bin mir gerade unsicher, ob man bei einschlägigen Indizes von der gegebenen oder vollständigen (restl. Funktionswerte mit 0 aufgefüllt) Wertetabelle ausgeht.

[user]

x1 x2 f(x1, x2)
0 0 1 <--
0 1 0
1 0 1 <--
1 1 0

Was ich meinte ist, und heute in der TI Vorlesung glaub ich's gecheckt zu haben, das die einsch. Indizies von deinem Beispiel wären: 1 und 5

Sicher, dass die letzte Spalte dazu gehoert? Meiner Meinung nach muessten das nur 0 und 2 sein.

[Vion]

Wenn ich das Beispiel richtig verstehe ist die letzte Spalte der Funktionswert.
Und dann treffen die Ergebnisse von user zu.
Also 0 und 2

[heny]

Ich würde sagen, dass das im Prinzip Definitionssache ist, je nachdem wie man die einzelnen Zeilen durchnummeriert.

[limx]

Also in den Übungen wurden die Indizes immer ab 0 gezählt. Ich würde das auf jeden Fall auch in der Klausur so machen..