technische informatik–3. vorlesung · •0 1 1 = 1 w(k3, xi) =1 falls i = 3 •x3= [ 0 ,..., 0,...
TRANSCRIPT
![Page 1: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/1.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 1
Technische Informatik – 3. Vorlesung
• Mathematische Grundlagen (1)• Boolesche Algebren: BMA, BAA (2,3)• Kombinatorische Schaltungen (4,5)• Automaten (6,7)• Sequentielle Schaltungen (8)• Programmierbare Strukturen (9)• Rechneraufbau und ~funktion (10,11)• Informationskodierung (12,13,14)
![Page 2: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/2.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 2
BMA, BAA
BMA … BOOLEsche Mengenalgebra
BAA … BOOLEsche Ausdrucksalgebra
George Boole
2. November 1815 - 8. Dezember 1864
1847: The Mathematical Analysis of Logic
Quelle: Wikipedia.de
![Page 3: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/3.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 3
Technische Informatik – 3. Vorlesung
Funktion digitaler Schaltungen:• Ausdruck => Wertetabelle• Wertetabelle => Ausdruck • Elementarkonjunktion, KDNF• Elementardisjunktion, KKNF• Überführung Normalformen• Umformungsregeln,
wertverlaufsgleiche Umformungen
![Page 4: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/4.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 4
Technische Informatik – 3. Vorlesung
Funktion digitaler Schaltungen:• Ausdruck => Wertetabelle• Wertetabelle => Ausdruck • Elementarkonjunktion, KDNF• Elementardisjunktion, KKNF• Überführung Normalformen• Umformungsregeln,
wertverlaufsgleiche Umformungen
![Page 5: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/5.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 6
schaltalgebraische Ausdrücke
Bisher: formale Beschreibung der Funktion einer digitalen Schaltung über Wertetabellen
: X => Y
Für eine schaltungstechnische Realisierung ist eine strukturorientierte Beschreibung von Interesse=> schaltalgebraische Ausdrücke
y = h(x)
![Page 6: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/6.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 7
Wertberechnung
• Wertberechnung: BAA• Rechenregeln für Konstante:• Negation: 1=0 0=1• Konjunktion: 11=1; 01=00=0 • Disjunktion: 00=0; 01=11=1
x1 x0
0 0 0 00 1 0 11 0 0 11 1 1 1
![Page 7: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/7.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 8
• Wertberechnung für Ausdrücke W(hi , Xk):• Schrittweise Berechnung des Wertes• 1. Belegung aller Variablen (Bits)
Variable xj => Bit der Belegung Xk(xj)• 2. Verknüpfung der Werte
Wertberechnung
![Page 8: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/8.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 9
Ausdruck => Wertetabelle
• Berechnung der Werte eines Ausdrucks für alle Eingangsbelegungen:=> Notation in Wertetabelle als Wertverlauf
=> Ausdruck repräsentiert Wertetabelle(für eine Ausgangsvariable)
![Page 9: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/9.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 10
Technische Informatik – 3. Vorlesung
Funktion digitaler Schaltungen:• Ausdruck => Wertetabelle• Wertetabelle => Ausdruck • Elementarkonjunktion, KDNF• Elementardisjunktion, KKNF• Überführung Normalformen• Umformungsregeln,
wertverlaufsgleiche Umformungen
![Page 10: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/10.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 13
• 0 1 1 = 1 W(k3, Xi) =1 falls i = 3
• X3 = [ 0 ,..., 0, 1, 1] W(k3 , Xi) =0 falls i 3
• k3 = xn-1 ... x1 x0
• hi=y1 = k3 k5 k6 k7 hi in KDNF
• KDNF = Disjunktion von Elementarkonjunktionen
Elementarkonjunktion k3 => KDNF
![Page 11: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/11.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 14
• 0 1 0 =0
• X2 = [0 ,..., 0, 1, 0] W(d2, Xi) = 0 falls i = 2
• d2 = xn-1 ... x1 x0 W(d2, Xi) = 1 falls i 2
• hi = d0 d1 d2 d4 hi in KKNF• KKNF = Konjunktion von Elementardisjunktionen
Elementardisjunktion d2 => KKNF
![Page 12: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/12.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 15
Technische Informatik – 3. Vorlesung
Funktion digitaler Schaltungen:• Ausdruck => Wertetabelle• Wertetabelle => Ausdruck • Elementarkonjunktion, KDNF • Elementardisjunktion, KKNF• Überführung Normalformen• Umformungsregeln
![Page 13: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/13.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 16
KKNF => KDNF
• Für vollständig bestimmte Funktionen gilt:I0 = I1
• Index für d: I0 (Ausgang y=0)
hi = d0 d1 d2 d4
• Index für k: I1 (Ausgang y=1)
hi = k3 k5 k6 k7
![Page 14: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/14.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 17
De Morgan:
hi hj = hi hj
hi hj = hi hj
KDNF => KNANF ki kj = ki kj
KKNF => KNONF di dj = di dj
Überführung Normalformen
![Page 15: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/15.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 18
Weitere Aufgaben zum Selbststudium
https://moodle2.tu-ilmenau.de/course/view.php?id=1576
![Page 16: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/16.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 19
Interaktive Übungen zum Selbststudium
moodle-Kurs
• Übung 1• Übung 2• Übung 3
![Page 17: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/17.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 20
Interaktive Übungen zum Selbststudium
moodle-Kurs
• Übung 1• Übung 2• Übung 3
![Page 18: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/18.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 21
Interaktive Übungen zum Selbststudium
moodle-Kurs
• Übung 1• Übung 2• Übung 3
![Page 19: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/19.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 22
Technische Informatik – 3. Vorlesung
Funktion digitaler Schaltungen:• Ausdruck => Wertetabelle• Wertetabelle => Ausdruck • Elementarkonjunktion, KDNF • Elementardisjunktion, KKNF• Überführung Normalformen• Minimierung über Umformungsregeln
![Page 20: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/20.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 23
Minimierung über Umformungsregeln
Priorität
Arbeitsblätter S. 7, 8
![Page 21: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/21.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 24
Minimierung über UmformungsregelnArbeitsblätter S. 7, 8
![Page 22: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/22.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 25
Minimierung über UmformungsregelnArbeitsblätter S. 7, 8
![Page 23: Technische Informatik–3. Vorlesung · •0 1 1 = 1 W(k3, Xi) =1 falls i = 3 •X3= [ 0 ,..., 0, 1, 1]W(k3 , Xi) =0 falls i 3 •k3= xn-1 ... x1 x0 •hi=y1 =k3 k5 k6 k7 hi in KDNF](https://reader034.vdocuments.pub/reader034/viewer/2022050717/5e15ba74a72d7a68237e9d25/html5/thumbnails/23.jpg)
© IKS 2018/19H.-D. Wuttke, K. Henke 30.10.2018 www.tu-ilmenau.de/iks 31
Das war‘s für heute
Viel Spaß beim Wiederholen!
Kap. 3.2.3, 3.2.5.
Bis nächsten Dienstag um 09.00 ...