Verkürzung des Implikanten < Algor.+Datenstr. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 14:07 Mo 16.05.2011 | | Autor: | FewG |
| Aufgabe | Hallo,
beim Durchlesen des Skriptes fand ich ein Beispiel zur Verkürzung des Implikanten (s. Abb):
[Dateianhang nicht öffentlich]
"Verkürze ab um a I(a) = b => f(a,1,c,d) = a ˅ ¬ad != 1"
Kann mir jemand diesen Schritt
[Dateianhang nicht öffentlich] bzw. ( f(a,1,c,d) = a ˅ ¬ad ) erklären?
MfG Peter G. |
P.S. Skript (http://www.es.cs.uni-frankfurt.de/uploads/media/hwr_kap03_vers48_02.pdf) => Seite 46
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Dateianhänge:
Anhang Nr. 1 (Typ: png) [nicht öffentlich]
Anhang Nr. 2 (Typ: png) [nicht öffentlich]
|
|
| |
|
Hallo Peter,
lade doch bitte die Bildchen direkt hoch oder noch besser:
Tippe die 3 Zeilen hier ein!
Danke und Gruß
schachuzipus
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 14:31 Mo 16.05.2011 | | Autor: | FewG |
hochgeladen
|
|
|
| |
|
Hallo nochmal,
ist das das ganze Bsp. oder bezeiht es sich auf eine konkrete Funktion f?
Dann poste mal, wie die definiert ist ...
Oder nen link zum Skript (falls frei)
Gruß
schachuzipus
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 14:53 Mo 16.05.2011 | | Autor: | FewG |
den Skript finden Sie hier => http://www.es.cs.uni-frankfurt.de/uploads/media/hwr_kap03_vers48_02.pdf;
=> unser Beispiel befindet sich auf der Seite 46ff.
|
|
|
| |
|
Hallo nochmal,
nun, die nehmen sich zunächst den ersten Implikanten [mm]ab[/mm] vor:
es wird im ersten Schritt [mm]b=1[/mm] gesetzt.
Dann ist mit [mm]f(a,b,c,d)=ab\vee \overline{a}d\vee a\overline{b}d[/mm] also
[mm]f(a,1,c,d)=a1\vee \overline{a}d\vee a0d=a\vee \overline{a}d\vee 0=a\vee \overline{a}d[/mm]
Die Multiplikationen sind ja "Verundungen", und die sind 0, wenn 1 Literal 0 ist ... (so wird aus [mm]a\overline{b}d=0[/mm])
Und der Wahrheitswert der "Veroderung" hängt von dem hinteren 0 nicht ab, der wird allein durch die vorderen beiden Implikanten bestimmt.
Im zweiten Schritt wird [mm]a=1[/mm] gesetzt ...
Gruß
schachuzipus
|
|
|
|
