Top Banner
© IKS 2018/19 H.-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)
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

Oct 16, 2019

Download

Documents

dariahiddleston
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
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

© 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

© 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

© 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

© 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

© 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

© 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

© 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

© 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

© 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

© 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

© 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

© 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

© 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

© 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

© 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

© 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

© 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

© 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

© 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

© 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

© 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

© 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

© 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 ...