Technische Informatik I 4. Vorlesung. 2. Funktion digitaler Schaltungen... wertverlaufsgleiche Umformungen
|
|
- Meike Jaeger
- vor 6 Jahren
- Abrufe
Transkript
1 Technische Informatik I 4. Vorlesung 2. Funktion digitaler Schaltungen... wertverlaufsgleiche Umformungen H.-D. Wuttke 09 Karnaugh-Veith Veith-Diagramme, 3. Struktur digitaler Schaltungen: Strukturdefinition, Struktursynthese, elementare Strukturen, Strukturanalyse
2 KKNF => KDNF Für r vollständig bestimmte Funktionen gilt: I 0 = I 1 Index für f d: I 0 h i = d 0 d 3 d 4 Index für f k: I 1 = k 1 k 2 k 5 k 6 k 7 H.-D. Wuttke 09
3 Kürzen Erweitern Erweitern x3*x0+x3*x1+x2*x1 =x3*(1)*x0+x3*x1+x2*x1 =x3*(x2+/x2)*x0+x3*x1+x2*x1 =x3*x2*x0+x3*/x2*x0+x3*x1+x2*x1 =x3*x2*(1)*x0+x3*/x2*(1)*x0+x3*x1+x2*x1 =x3*x2*(x1+/x1)*x0+x3*/x2*(x1+/x1)*x0+x3*x1+... =x3*x2*x1*x0+x3*x2*/x1*x0+x3*/x2*x1*x0 +x3*/x2*/x1*x0+... =k15+k13+k11+k9+... H.-D. Wuttke 09
4 Elementarkonjuktion 1 1=1, 1=1, 0 1=10 X 3 = [0,0,..., 0,1,1] W(k 3, X i ) =1 falls i = 3 W(k 3, X i ) =0 falls i 3 X 3 = [0,0,...,[ 0,1,1] k 3 = x n-1... x 1 x 0 H.-D. Wuttke 09
5 Elementarkonjuktion k 2 => KDNF 1 1=1, 1=1, 0 1=10 X 2 = [0,..., 0, 1,, 0] k 2 = x n-1... x 1 x 0 h i = k 1 k 2 k 5 k 6 k h 7 i in KDNF KDNF = Disjunktion von Elementarkon konjunktionen H.-D. Wuttke 09
6 KKNF => KDNF Für r vollständig bestimmte Funktionen gilt: I 0 = I 1 Index für f d: I 0 h i = d 0 d 3 d 4 Index für f k: I 1 = k 1 k 2 k 5 k 6 k 7 H.-D. Wuttke 09
7 Technische Informatik I 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) H.-D. Wuttke 09
8 Karnaugh-Veith Veith-Diagramme Kürzungsregel benachbarte Belegungen [1,1,1][0,1,1]... unterscheiden sich in genau 1Bit benachbarte Ausdrücke (r=2) hi=x2 x2*x1* *x1*x0+/x2*x1*x0x0 = x1*x0 in genau einer Variablen (negiert( negiert) H.-D. Wuttke 09
9 Karnaugh-Veith Veith-Diagramme Kürzungsregel benachbarte Belegungen [1,1,1][0,1,1]... unterscheiden sich in genau 1Bit benachbarte Ausdrücke (r=2) hi=x2 x2*x1* *x1*x0+/x2*x1*x0x0 = x1*x0 in genau einer Variablen (negiert( negiert) H.-D. Wuttke 09
10 Karnaugh-Veith Veith-Diagramme benachbarte Belegungen grafisch so anordnen, dass Nachbarn nebeneinander liegen, Matrix, Nachbarschaft je Spalte und je Zeile Funktionswerte H.-D. Wuttke 09
11 Karnaugh-Veith Veith-Diagramme Weitere Darstellungen, (nur für f r DNF)
12 Kürzen Erweitern Kürzen x3*x0+x3*x1+x2*x1
13 Karnaugh-Veith Veith-Diagramme z.b. k 13 k 9
14 Karnaugh-Veith Veith-Diagramme Gleiches Beispiel - andere KürzungK x3*x2*x1*/x0+x3*x2*x1*x0=x3*x2*x1 k 11 k 10 x3*/x2*x1*x0+x3*/x2*x1*/x0=x3*/x2*x1 x3*x2*x1+x3*/x2*x1*x0= x3*x1
15 Karnaugh-Veith Veith-Diagramme Gleiches Beispiel - andere KürzungK k 10 k 11 x3*x1 Im 4-er 4 Block sind die Variablen x3 und x1 konstant mit 1 belegt, x2 und x0 ändern sich => x2 und x0 werden gekürzt
16 Karnaugh-Veith Veith-Diagramme Gleiches Beispiel - andere KürzungK Ergebnis:
17 Karnaugh-Veith Veith-Diagramme benachbarte Belegungen können gekürzt werden. Kürzung: 1 Variable => 2er Block 2 Variable => 4er Block 3 Variable => 8er Block 4 Variable =>16er Block... x 3 /x 2 /x 1 Applet H.-D. Wuttke 09
18 Karnaugh-Veith Veith-Diagramme Bei 6 Variablen: Applet zum Üben 07
19 Technische Informatik I 4. Vorlesung 2. Funktion digitaler Schaltungen... wertverlaufsgleiche Umformungen Karnaugh-Veith Veith-Diagramme, 3. Struktur digitaler Schaltungen: Strukturdefinition, Struktursynthese, elementare Strukturen, Strukturanalyse......
20 Technische Informatik I 4. Vorlesung 2. Funktion digitaler Schaltungen... wertverlaufsgleiche Umformungen Karnaugh-Veith Veith-Diagramme, 3. Struktur digitaler Schaltungen: Strukturdefinition, Struktursynthese, elementare Strukturen, Strukturanalyse......
21 Strukturdefinition
22 Modul
23 Strukturdefinition Koppelfunktion: eindeutig
24 Strukturdefinition Koppelfunktion: f 1
25 Strukturdefinition Koppelfunktion: f 1
26 Kombinatorische Struktur
27 Technische Informatik I 4. Vorlesung 2. Funktion digitaler Schaltungen... wertverlaufsgleiche Umformungen Karnaugh-Veith Veith-Diagramme, 3. Struktur digitaler Schaltungen: Strukturdefinition, elementare Strukturen, Struktursynthese, Strukturanalyse......
28 elementare Strukturen
29 Basissysteme
30 Technische Informatik I 4. Vorlesung 2. Funktion digitaler Schaltungen... wertverlaufsgleiche Umformungen Karnaugh-Veith Veith-Diagramme, 3. Struktur digitaler Schaltungen: Strukturdefinition, elementare Strukturen, Struktursynthese, Strukturanalyse......
31 Struktursynthese Syntaktische Struktur eines Ausdrucks Modulstruktur der Schaltung strukturgleiche Schaltung strukturgleicher Ausdruck
32 Struktursynthese strukturgleiche Schaltung strukturgleicher Ausdruck
33 Technische Informatik I 4. Vorlesung 3. Struktur digitaler Schaltungen: Strukturdefinition, Struktursynthese, elementare Strukturen, Strukturanalyse H.-D. Wuttke 09
34 Strukturanalyse strukturgleiche Schaltung strukturgleicher Ausdruck H.-D. Wuttke 09
35 Technische Informatik I 5. Vorlesung 3. Struktur digitaler Schaltungen:... komplexes Beispiel: I 1 ={3,4,6,7,9,12,14} Minimierung, DNF-Realisierung H.-D. Wuttke 09
36 Technische Informatik I 5. Vorlesung 3. Struktur digitaler Schaltungen:... komplexes Beispiel Analyse, Minimierung, NAND-Synthese H.-D. Wuttke 09
37 Technische Informatik I 5. Vorlesung 3. Struktur digitaler Schaltungen: Analyse, Minimierung, NAND-Synthese (Aufg. 3.15) H.-D. Wuttke 09
38 Technische Informatik I 5. Vorlesung Buch: Schaltsysteme, S146, Aufgabe 3.15 /(((x1+x0)*x3)*/((x1+x0)*x2)*(/((x1+x0)*x2)*x3)) h1(d) = d9 * d10 * d11 KNF /x3+x2+(/x1*/x0) DNF /(/(/x1*/x0)*/x2*x3) NANF H.-D. Wuttke 09
39 Das war s s für f r heute Viel Spaß beim Wiederholen! Bis nächsten n Donnerstag
Rechnerorganisation. (10,11) Informationskodierung (12,13,14) TECHNISCHE UNIVERSITÄT ILMENAU. IHS, H.- D. Wuttke 08
Rechnerorganisation Mathematische Grundlagen (1) Boolesche Algebren: : BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau
MehrTechnische Informatik (RO)
Technische Informatik (RO) Informationskodierung (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6) Sequentielle Schaltungen (7) Ablaufsteuerung (8) Fortsetzung Teil
MehrTechnische Informatik (RO)
Technische Informatik (RO) Informationskodierung (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6) Sequentielle Schaltungen (7) Ablaufsteuerung (8) Fortsetzung Teil
MehrTechnische Informatik I
Technische Informatik I Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau
MehrTechnische Informatik (RO)
Technische Informatik (RO) Zahlensysteme, Digitale Systeme (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten, Sequentielle Schaltungen (6) Informationskodierung (7,8) Fortsetzung
MehrTechnische Informatik (RO)
Technische Informatik (RO) Zahlensysteme, Digitale Systeme (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4) Automaten (5,6) Datenkodierung (7,8) Fortsetzung Teil Rechnerarchitektur,
MehrRechnerorganisation. H.-D. Wuttke `
Rechnerorganisation Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau
MehrRechnerorganisation 5. Vorlesung
Rechnerorganisation 5. Vorlesung Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen
MehrTechnische Informatik 3. Vorlesung
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
MehrTechnische Informatik (RO)
Technische Informatik (RO) Informationskodierung (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6) Sequentielle Schaltungen (7) Ablaufsteuerung (8) Fortsetzung Teil
MehrRechnerorganisation 5. Vorlesung
Rechnerorganisation 5. Vorlesung Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen
MehrRechnerorganisation 5. Vorlesung
Rechnerorganisation 5. Vorlesung Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen
MehrRechnerorganisation 2.Vorlesung
Rechnerorganisation 2.Vorlesung Begriffe, Mathematische Grundlagen (1) Boolesche Algebren, Normalformen (2,3) Kombinatorische Schaltungen (4) Programmierbare Strukturen (5) Automaten, Sequentielle Schaltungen
MehrRechnerorganisation 2.Vorlesung
Rechnerorganisation 2.Vorlesung Begriffe, Mathematische Grundlagen (1) Boolesche Algebren, Normalformen (2,3) Kombinatorische Schaltungen (4) Programmierbare Strukturen (5) Automaten, Sequentielle Schaltungen
MehrRechnerorganisation. (10,11) Informationskodierung (12,13,14) TECHNISCHE UNIVERSITÄT ILMENAU. IHS, H.- D. Wuttke 08
Rechnerorganisation Mathematische Grundlagen (1) Boolesche Algebren: : BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau
MehrTechnische Informatik (RO)
Technische Informatik (RO) Informationskodierung (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4) Automaten (5) Sequentielle Schaltungen (6,7) Ablaufsteuerung (8) Fortsetzung Teil
MehrTechnische Informatik 1
Technische Informatik 1 Mathematische Grundlagen (1) Boolesche Algebren: : BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau
MehrRechnerorganisation 8. Vorlesung
Rechnerorganisation 8. Vorlesung Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen
MehrHeinz-Dietrich Wuttke Karsten Henke. Schaltsysteme. Eine automatenorientierte Einführung. Pearson Studium
Heinz-Dietrich Wuttke Karsten Henke Schaltsysteme Eine automatenorientierte Einführung Pearson Studium ein Imprint der Pearson Education Deutschland GmbH 1 2 2.1 2.2 2.3 2.4 Vorwort Einleitung Mathematische
MehrRechnerorganisation. (10,11) Informationskodierung (12,13,14) TECHNISCHE UNIVERSITÄT ILMENAU. IHS, H.- D. Wuttke 08
Rechnerorganisation Mathematische Grundlagen (1) Boolesche Algebren: : BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau
MehrRechnerorganisation. (10,11) Informationskodierung (12,13,14) TECHNISCHE UNIVERSITÄT ILMENAU. IHS, H.- D. Wuttke 08
Rechnerorganisation Mathematische Grundlagen (1) Boolesche Algebren: : BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau
MehrEingebettete Systeme
Einführung in Eingebettete Systeme Vorlesung 7 Bernd Finkbeiner 03/12/2014 finkbeiner@cs.uni-saarland.de Prof. Bernd Finkbeiner, Ph.D. finkbeiner@cs.uni-saarland.de 1 Schaltfunktionen! Schaltfunktion:
MehrSchaltsysteme Eine automatenorientierte Einführung
Heinz-Dietrich Wuttke Karsten Henke Schaltsysteme Eine automatenorientierte Einführung ein Imprint der Pearson Education Deutschland GmbH Schaltsysteme - PDF Inhaltsverzeichnis Schaltsysteme - Eine automatenorientierte
MehrBoolesche (Schalt-) Algebra (1)
Boolesche (Schalt-) Algebra (1) Definition 1: Sei B = SS 2 = 0,1 das Alphabet mit den Elementen 0 und 1. Seien auf BB die folgenden 3 Operatoren definiert für xx, yy B: xx + yy max xx, yy xx yy min xx,
MehrSeminaraufgaben. zur Lehrveranstaltung. Technische Informatik Teil RO (EIT, FZT, LAE, LAM, MB, MT, MTR, OST, TKS, WI, WSW) (Ausgabe Oktober 2015)
Technische Universität Ilmenau Fakultät für Informatik und Automatisierung Institut für Technische Informatik und Ingenieurinformatik Fachgebiet Integrierte Kommunikationssysteme Seminaraufgaben zur Lehrveranstaltung
MehrTeil 1: Digitale Logik
Teil 1: Digitale Logik Inhalt: Boolesche Algebra kombinatorische Logik sequentielle Logik kurzer Exkurs technologische Grundlagen programmierbare logische Bausteine 1 Analoge und digitale Hardware bei
MehrGrundlagen der Informationsverarbeitung:
Grundlagen der Informationsverarbeitung: Schaltungsentwurf und Minimierungsverfahren Prof. Dr.-Ing. habil. Ulrike Lucke Durchgeführt von Prof. Dr. rer. nat. habil. Mario Schölzel Maximaler Raum für Titelbild
MehrSeminaraufgaben. zur Lehrveranstaltung. Technische Informatik Teil RO (EIT, FZT, LAE, LAM, MB, MT, MTR, OST, TKS, WI, WSW) (Ausgabe Oktober 2018)
Technische Universität Ilmenau Fakultät für Informatik und Automatisierung Institut für Technische Informatik und Ingenieurinformatik Fachgebiet Integrierte Kommunikationssysteme Seminaraufgaben zur Lehrveranstaltung
MehrTechnische Informatik (RO)
Technische Informatik (RO) Zahlensysteme, Digitale Systeme (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4) Automaten (5,6) Informationskodierung (7) Sequentielle Schaltungen (6)
MehrSeminaraufgaben. zur Lehrveranstaltung. Technische Informatik. (Basic Engineering School) (Ausgabe April 2017)
Technische Universität Ilmenau Fakultät für Informatik und Automatisierung Institut für Technische Informatik und Ingenieurinformatik Fachgebiet Integrierte Kommunikationssysteme Seminaraufgaben zur Lehrveranstaltung
MehrTechnische Informatik I
Rechnerstrukturen Dario Linsky Wintersemester 200 / 20 Teil 2: Grundlagen digitaler Schaltungen Überblick Logische Funktionen und Gatter Transistoren als elektronische Schalter Integrierte Schaltkreise
MehrTechnische Universität Ilmenau
Technische Universität Ilmenau Hier finden Sie uns: Informatikgebäude, 2. Etage, Sekretariat Zi. 215 Lehre und Forschung im Fachgebiet Integrierte Hard- und Softwaresysteme Prof. Dr.-Ing. habil. Andreas
MehrFakultät für Informatik und Automatisierung Institut Technische Informatik und Ingenieurinformatik Fachgebiet Integrierte Kommunikationssysteme
Technische Universität Ilmenau Fakultät für Informatik und Automatisierung Institut Technische Informatik und Ingenieurinformatik Fachgebiet Integrierte Kommunikationssysteme Seminaraufgaben zur Lehrveranstaltung
MehrRechnerorganisation 12. Vorlesung
Rechnerorganisation 12. Vorlesung Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen
MehrRechnerorganisation 12. Vorlesung
Rechnerorganisation 12. Vorlesung Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen
MehrSchaltfunktion, Definition
Schaltfunktion, Definition Sei S = { 0,1}. Dann heißt eine Abbildung f: S n S eine Schaltfunktion. = f(x n-1,x n-2,...,,, ), x n-1, x n-2,...,,, S x i X = (x n-1,x n-2,...,,, ) Eingangsvariable Eingangsvektor
MehrBisher. minimale DNF. logischen Formeln Booleschen Funktionen Schaltungen
Bisher Klassische Aussagenlogik (Syntax, Semantik) semantische Äquivalenz von Formeln äquivalentes Umformen von Formeln (syntaktisch) Normalformen: NNF, DNF, CNF, kanonische DNF und CNF Ablesen kanonischer
MehrRechnerorganisation 12. Vorlesung
Rechnerorganisation 12. Vorlesung Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen
MehrRechnerorganisation. IHS 2018/2019 H.-D. Wuttke, K. Henke
Rechnerorganisation Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau
MehrRechnerorganisation 12. Vorlesung
Rechnerorganisation 12. Vorlesung Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen
MehrInhaltsverzeichnis. 1 Boolesche Algebra, Schaltalgebra - Begriffsbestimmung 1. 2 Operationssystem der Schaltalgebra 4. 3 Boolesche Funktionen 6
Inhaltsverzeichnis 1 Boolesche Algebra, Schaltalgebra - Begriffsbestimmung 1 2 Operationssystem der Schaltalgebra 4 3 Boolesche Funktionen 6 4 Boolesche Funktionen kombinatorischer Schaltungen 8 4.1 Begriffsbestimmung
Mehrkanonische disjunktive Normalform (KDNF, DKF) Disjunktion einer Menge von Mintermen mit gleichen Variablen
5.6 Normalformen (4) Noch mehr aber besonders wichtige Begriffe kanonische disjunktive Normalform (KDNF, DKF) Disjunktion einer Menge von Mintermen mit gleichen Variablen Beispiel: KDNF zur Funktion f(,,,
MehrC.34 C Normalformen (4) 5.7 Hauptsatz der Schaltalgebra. 5.7 Hauptsatz der Schaltalgebra (2) 5.7 Hauptsatz der Schaltalgebra (3)
5.6 Normalformen (4) Noch mehr aber besonders wichtige Begriffe kanonische disjunktive Normalform (KDNF, DKF) Disjunktion einer Menge von Mintermen mit gleichen Variablen Beispiel: KDNF zur Funktion f(,,,
MehrRechnerorganisation (RO)
Rechnerorganisation (RO) Dr.-Ing. Heinz-Dietrich Wuttke Dr.-Ing. Karsten Henke H.-D. Wuttke / K. Henke 2015 www.tu-ilmenau.de/iks 1 Hier fanden Sie uns bisher: ehemaliges Informatikgebäude Lehre und Forschung
MehrRechnerorganisation (RO)
Rechnerorganisation (RO) Dr.-Ing. Heinz-Dietrich Wuttke Dr.-Ing. Karsten Henke H.-D. Wuttke / K. Henke 2016 www.tu-ilmenau.de/iks 1 Hier fanden Sie uns bisher: ehemaliges Informatikgebäude Lehre und Forschung
MehrRechnerstrukturen, Teil 1. Vorlesung 4 SWS WS 14/15
Rechnerstrukturen, Teil 1 Vorlesung 4 SWS WS 14/15 Prof. Dr Jian-Jia Chen Dr. Lars Hildebrand Fakultät für Informatik Technische Universität Dortmund lars.hildebrand@tu-.de http://ls1-www.cs.tu-.de Übersicht
Mehrf ist sowohl injektiv als auch surjektiv.
Bemerkungen: Wir erinnern uns an folgende Definitionen: Eine Funktion f : U V heißt injektiv, wenn gilt: ( x, y U)[x y f(x) f(y)] Eine Funktion f : U V heißt surjektiv, wenn gilt: ( y V x U)[y = f(x)]
MehrTechnische Informatik 1 Rechnerorganisation (RO)
Technische Informatik 1 Rechnerorganisation (RO) Dr.-Ing. Heinz-Dietrich Wuttke H.-D. Wuttke `13 10.10.2013 www.tu-ilmenau.de/iks 1 Hier fanden Sie uns: nun Informatikgebäude, EG, Sekretariat Zi. 1031
MehrLogik für Informatiker
Vorlesung Logik für Informatiker 5. Aussagenlogik Normalformen Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Normalformen Definition: Literal Atom (aussagenlogische
MehrTechnische Informatik I, SS03. Boole sche Algebra, Kombinatorische Logik
Übung zur Vorlesung Technische Informatik I, SS03 Ergänzung Übungsblatt 1 Boole sche Algebra, Kombinatorische Logik Guenkova, Schmied, Bindhammer, Sauer {guenkova@vs., schmied@vs., bindhammer@vs., dietmar.sauer@}
Mehr03 Boolesche Algebra. Technische Grundlagen der Informatik
03 Boolesche Algebra Technische Grundlagen der Informatik Automation Systems Group E183-1 Institute of Computer Aided Automation Vienna University of Technology email: tgi@auto.tuwien.ac.at Inhalt Operationen
MehrRechnerorganisation. IHS 2018/2019 H.-D. Wuttke, K. Henke
Rechnerorganisation Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau
MehrRechnerorganisation. IHS 2015/2016 H.-D. Wuttke, K. Henke
Rechnerorganisation Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau
MehrBoolesche Algebra (1)
Boolesche Algebra (1) Definition 1: Sei B = Σ 2 = {0,1} das Alphabet mit den Elementen 0 und 1. Seien auf B die 3 Operatoren einer Algebra wie folgt definiert für x,y aus B: x+y := Max(x,y), x y := Min(x,y),
MehrSynthese und Analyse Digitaler Schaltungen
Synthese und Analyse Digitaler Schaltungen von Prof. Dr.-Ing. habil. Gerd Scarbata Technische Universität Ilmenau 2., überarbeitete Auflage Oldenbourg Verlag München Wien V Inhaltsverzeichnis Seite Boolesche
MehrTeil III. Schaltnetze und ihre Optimierung
Teil III Schaltnetze und ihre Optimierung 1 Teil III.1 Schaltnetze 2 Beispiel 1 Schaltnetz für xor mit {+,, } x y x y 0 0 0 0 1 1 1 0 1 1 1 0 DNF: x y = xy + xy 3 Beispiel 2 xor mittels nand-verknüpfung;
MehrBoolesche (Schalt-) Algebra (8)
Boolesche (Schalt-) Algebra (8) Karnaugh-Diagramm ist eine graphische Technik zur Darstellung und Vereinfachung von Booleschen Ausdrücken ist eine andere, zweidimensionale Darstellung von Wahrheitstabellen
MehrDuE-Tutorien 17 und 18
DuE-Tutorien 17 und 18 Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Christian A. Mandery TUTORIENWOCHE 3 AM 18.11.2011 KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
MehrKapitel 6 Programmierbare Logik. Literatur: Kapitel 6 aus Oberschelp/Vossen, Rechneraufbau und Rechnerstrukturen, 9. Auflage
Kapitel 6 Programmierbare Logik Literatur: Kapitel 6 aus Oberschelp/Vossen, Rechneraufbau und Rechnerstrukturen, 9. Auflage Kapitel 6: Programmierbare Logik und VLSI Seite Kapitel 6: Programmierbare Logik
MehrDuE-Tutorien 16 und 17
Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Tutorienwoche 3 am 19.11.2010 1 Christian A. Mandery: KIT Universität des Landes Baden-Württemberg und nationales Grossforschungszentrum in der
MehrTechnische Informatik (TI)
Technische Informatik (TI) Dipl.-Inf. René Hutschenreuter Dr.-Ing. Heinz-Dietrich Wuttke Dr.-Ing. Prof. h. c. Karsten Henke H.-D. Wuttke / K. Henke 2018/19 www.tu-ilmenau.de/iks 1 Hier fanden Sie uns bisher:
MehrAussagenlogik. Formale Methoden der Informatik WiSe 2010/2011 teil 7, folie 1 (von 50)
Aussagenlogik Formale Methoden der Informatik WiSe 2/2 teil 7, folie (von 5) Teil VII: Aussagenlogik. Einführung 2. Boolesche Funktionen 3. Boolesche Schaltungen Franz-Josef Radermacher & Uwe Schöning,
MehrTechnische Informatik 1 Rechnerorganisation (RO)
Technische Informatik 1 Rechnerorganisation (RO) Dr.-Ing. Heinz-Dietrich Wuttke H.-D. Wuttke `13 10.10.2013 www.tu-ilmenau.de/iks 1 Hier fanden Sie uns: nun Informatikgebäude, EG, Sekretariat Zi. 1031
MehrC Beispiel: Siebensegmentanzeige. Typische Anzeige für Ziffern a. f g. e d. Gesucht: Schaltfunktion für die Ansteuerung des Segmentes d
6.3 Beispiel: Siebensegmentanzeige Typische Anzeige für Ziffern a f g b 0 1 2 3 4 5 6 7 8 9 e d c Schaltfunktionen zur Ansteuerung der Segmente Parameter: binär codierte Zahl bzw. Ziffer Gesucht: Schaltfunktion
MehrDigitalelektronik - Inhalt
Digitalelektronik - Inhalt Grundlagen Signale und Werte Rechenregeln, Verknüpfungsregeln Boolesche Algebra, Funktionsdarstellungen Codes Schaltungsentwurf Kombinatorik Sequentielle Schaltungen Entwurfswerkzeuge
MehrRechnerorganisation. (10,11) Informationskodierung (12,13,14) TECHNISCHE UNIVERSITÄT ILMENAU. IHS, H.- D. Wuttke `09
Rechnerorganisation Mathematische Grundlagen (1) Boolesche Algebren: : BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau
MehrTeil 1: Digitale Logik
Teil 1: Digitale Logik Inhalt: Boolesche Algebra kombinatorische Logik sequentielle Logik kurzer Exkurs technologische Grundlagen programmierbare logische Bausteine 1 Analoge und digitale Hardware bei
MehrRechnerstrukturen. Michael Engel und Peter Marwedel WS 2013/14. TU Dortmund, Fakultät für Informatik
Rechnerstrukturen Michael Engel und Peter Marwedel TU Dortmund, Fakultät für Informatik WS 2013/14 Folien a. d. Basis von Materialien von Gernot Fink und Thomas Jansen 21. Oktober 2013 1/33 1 Boolesche
MehrSatz von De Morgan A B A + B A + B A B A. Transistoren: A B U a A 0 0 Vcc Vcc Vcc V 0
Satz von De Morgan A + = A A A + A + A A 0 0 0 1 1 1 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 1 0 0 0 0 Transistoren: A U a A 0 0 Vcc 1 0 1 Vcc 1 1 0 Vcc 1 1 1 0 V 0 eispiel: Schaltung zur Erkennung gültiger
MehrDuE-Tutorien 4 und 6. Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Christian A. Mandery. WOCHE 4 AM
DuE-Tutorien 4 und 6 Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Christian A. Mandery WOCHE 4 AM 13.11.2012 KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
MehrWas bisher geschah: klassische Aussagenlogik
Was bisher geschah: klassische Aussagenlogik klassische Aussagenlogik: Syntax, Semantik Äquivalenz zwischen Formeln ϕ ψ gdw. Mod(ϕ) = Mod(ψ) wichtige Äquivalenzen, z.b. Doppelnegation-Eliminierung, DeMorgan-Gesetze,
MehrRechnerstrukturen, Teil 1. Vorlesung 4 SWS WS 15/16
Rechnerstrukturen, Teil Vorlesung 4 SWS WS 5/6 Dr. Lars Hildebrand Fakultät für Informatik Technische Universität Dortmund lars.hildebrand@tu-.de http://ls-www.cs.tu-.de Übersicht. Organisatorisches 2.
MehrGrundlagen der Rechnerarchitektur
Grundlagen der Rechnerarchitektur [CS3100.010] Wintersemester 2014/15 Heiko Falk Institut für Eingebettete Systeme/Echtzeitsysteme Ingenieurwissenschaften und Informatik Universität Ulm Kapitel 2 Kombinatorische
MehrInformationsdarstellung
Informationsdarstellung Signale und Logik Grundzüge der Booleschen Algebra Signale und Logik (2) Grundzüge d. Informationstheorie [Logarithmen-Repetitorium] Zahlensysteme und ihre Anwendung Signale und
Mehr6. Minimierung Boolescher Polynome
H.J. Oberle Boolesche Algebra WiSe 2006/07 6. Minimierung Boolescher Polynome An Beispiel (5.11) c) erkennt man, dass die DNF eines Booleschen Polynoms i. Allg. ungünstig in Bezug auf die Anzahl der Auftretenden
MehrAussagenlogik. Formale Methoden der Informatik WiSe 2012/2013 teil 6, folie 1
Aussagenlogik Formale Methoden der Informatik WiSe 22/23 teil 6, folie Teil VI: Aussagenlogik. Einführung 2. Boolesche Funktionen 3. Boolesche Schaltungen Franz-Josef Radermacher & Uwe Schöning, Fakultät
MehrSchaltalgebra und kombinatorische Logik
Schaltalgebra und kombinatorische Logik. Digitale elektrische Schaltungen 2. Beschreibung durch logische Ausdrücke 3. Boolesche Algebra 4. Schaltfunktionen 5. Synthese von Schaltungen 6. Schaltnetze *Die
MehrNormalformen boolescher Funktionen
Normalformen boolescher Funktionen Jeder boolesche Ausdruck kann durch (äquivalente) Umformungen in gewisse Normalformen gebracht werden! Disjunktive Normalform (DNF) und Vollkonjunktion: Eine Vollkonjunktion
MehrDarstellung von negativen binären Zahlen
Darstellung von negativen binären Zahlen Beobachtung für eine beliebige Binärzahl B, z.b. B=110010: B + NOT(B) ---------------------------------------------- = B + NOT(B) 1 + (Carry) ----------------------------------------------
MehrDuE-Tutorien 16 und 17
Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Tutorienwoche 6 am 0.2.200 Christian A. Mandery: KIT Universität des Landes Baden-Württemberg und nationales Grossforschungszentrum in der Helmholtz-Gemeinschaft
MehrÜbungen zur Vorlesung Grundlagen der Rechnerarchitektur
Universität Koblenz-Landau Übungen zur Vorlesung Grundlagen der Rechnerarchitektur - Sommersemester 2018 - Übungsblatt 2 Abgabe bis Montag, 28. Mai 2018, 23:59 Uhr als pdf via SVN Punkte Kürzel A1 (10)
MehrLehrveranstaltung: Digitale Systeme. KS-Praktikums-Vorbereitung Dipl.-Inf. Markus Appel , , ,
Lehrveranstaltung: Digitale Systeme KS-Praktikums-Vorbereitung Dipl.-Inf. Markus Appel 24.04.2012, 25.04.2012, 26.04.2012, 27.04.2012 Übersicht Kombinatorische Schaltungen n-bit-addierer Minimierungsverfahren
Mehr2.4. Das Karnaugh Veitch Diagramm ( KV Diagramm )
2.4. Das Karnaugh Veitch Diagramm ( KV Diagramm ) Mit dem KV-Diagramm sollen Sie ein Verfahren kennen lernen, mit dem Funktionsgleichungen vereinfacht werden können. Dazu wird jeder Eingangskombination
MehrSystemorientierte Informatik 1
Systemorientierte Informatik. Grundlagen Digitaler Schaltungen.8 Schaltnetze aus Gattern und Leitungen.9 Boole sche Algebra. Minimierung Boole scher Funktionen. CMOS Komplegatter Die nächste Funktion,
Mehr, SS2012 Übungsgruppen: Do., Mi.,
VU Technische Grundlagen der Informatik Übung 3: Schaltnete 83.579, SS202 Übungsgruppen: Do., 9.04. Mi., 25.04.202 Aufgab: Vereinfachung mittels KV-Diagramm Gegeben ist folgende Wahrheitstafel: e 0 Z Z
MehrSynthese digitaler Schaltungen Aufgabensammlung
Technische Universität Ilmenau Fakultät für Elektrotechnik und Informationstechnik Fachgebiet Elektronische Schaltungen und Systeme Dr. Ing. Steffen Arlt Synthese digitaler Schaltungen Aufgabensammlung.
MehrN Bit binäre Zahlen (signed)
N Bit binäre Zahlen (signed) n Bit Darstellung ist ein Fenster auf die ersten n Stellen der Binär Zahl 0000000000000000000000000000000000000000000000000110 = 6 1111111111111111111111111111111111111111111111111101
Mehr1 Analogtechnik und Digitaltechnik. C Schaltalgebra und kombinatorische Logik. 2 Digitale elektrische Schaltungen
Analogtechnik und Digitaltechnik C Schaltalgebra und kombinatorische Logik bei analoger Technik kontinuierliche Signale. Analog- und Digitaltechnik 2. Digitale elektrische Schaltungen 3. Logische Schaltungen
MehrAllgemeingültige Aussagen
Allgemeingültige Aussagen Definition 19 Eine (aussagenlogische) Formel p heißt allgemeingültig (oder auch eine Tautologie), falls p unter jeder Belegung wahr ist. Eine (aussagenlogische) Formel p heißt
MehrSchaltsysteme Eine automatenorientierte Einführung
Heinz-Dietrich Wuttke Karsten Henke Schaltssteme Eine automatenorientierte Einführung ein Imprint der Pearson Education Deutschland GmbH 6 Kapitel 3 Entwurf kombinatorischer Schaltungen Die Definition
MehrVerwendung eines KV-Diagramms
Verwendung eines KV-Diagramms Ermittlung einer disjunktiven Normalform einer Schaltfunktion Eine Disjunktion von Konjunktionen derart, dass jeder Konjunktion ein Block in dem KV-Diagramm entspricht, der
MehrEin Signal ist eine zeitlich veränderliche physikalische Größe, die eine auf sie abgebildete Information trägt.
4. Technische Realisierung Sie erinnern sich: Ein Signal ist eine zeitlich veränderliche physikalische Größe, die eine auf sie abgebildete Information trägt. Hier: physikalische Größe = elektrische Spannung
MehrEinführung in Computer Microsystems Sommersemester Vorlesung Dr.-Ing. Wolfgang Heenes
Einführung in Computer Microsystems Sommersemester 2010 10. Vorlesung Dr.-Ing. Wolfgang Heenes 16. Juni 2010 TechnischeUniversitätDarmstadt Dr.-Ing. WolfgangHeenes 1 Inhalt 1. Literatur 2. Minimierung
MehrGrundlagen der Technischen Informatik. 6. Übung. Christian Knell Keine Garantie für Korrekt-/Vollständigkeit
Grundlagen der Technischen Informatik 6. Übung Christian Knell Keine Garantie für Korrekt-/Vollständigkeit 6. Übungsblatt Themen Aufgabe 1: Aufgabe 2: Aufgabe 3: Aufgabe 4: Relais-Schaltnetze Entwicklungssatz
MehrSchaltalgebra und kombinatorische Logik
Schaltalgebra und kombinatorische Logik. Digitale elektrische Schaltungen 2. Beschreibung durch logische Ausdrücke 3. Boolesche Algebra 4. Schaltfunktionen 5. Synthese von Schaltungen 6. Schaltnetze Wintersemester
Mehr