B. Schaltalgebra, Kombinatorische Logik
|
|
- Johanna Kalb
- vor 6 Jahren
- Abrufe
Transkript
1 B. Schaltalgebra, Kombinatorische Logik B.1. Einordnung Elektrische Grundgesetze & Signale. Zustandslose logische Funktionen. Entwurf & Optimierung. Signalausbreitung. Höhere Informatik Systemprogrammierung: - Betriebssystemkonzepte, Ein- & Ausgabe E Architektur: - Recherarchitektur, Instruktionssatz, Mikroarchitektur F G K H J I Digitaltechnik Rechnerarithmetik: - Zahlendarstellung, Operatoren, Konvertierung... Digitale Schaltungen: - Zustandsmaschinen, Zähler, ALU, PLA, Optimierung Digitale Logik: - Gatter, digitale Signale, Signalausbreitung... C D B Elektronik A-1 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
2 B.2. Digitale elektrische Schaltungen B.2.1 Einfache Lampenschaltung Strom kann nur bei geschlossenem Stromkreis fließen. Schalter mit zwei Zuständen: Schalter aus : Lampe bleibt dunkel Strom fließt nicht. Schalter ein : Lampe leuchtet Strom fließt A-2 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
3 B.2.2 Einfache Serieschaltung Zwei Schalter in Reihe, vier Zustände. Lampe leuchtet nur dann, wenn der erste und der zweite Schalter geschlossen sind. Nur dann A-3 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
4 B.2.3 Einfache Parallelschaltung Zwei parallele Schalter, vier Zustände. Lampe leuchtet, wenn der erste oder der zweite Schalter geschlossen sind. A-4 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
5 B.2.4 Komplexere Schaltung N Schalter, 2N Zustände. Wann leuchtet die Lampe? => (((A or B) und D) or (C und E) ) und ((( F or G or H) und K ) or (I or J )) A-5 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
6 B.2.5 Logische Interpretation physikalischer Grössen Bisher: Stromkreis, Schalter und Lampe Modellvorstellung: Zustand der Schalter Schaltung bzw. Anordnung der Schalter Ausgabe- Signale Zwei Zustände aus dem Blickwinkel der binären Logik: wahr oder falsch, true oder false, 0 oder 1. Schaltfunktion Argumentvariablen Funktionswerte A-6 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
7 B.2.6 Elektronisch/physikalische Realisierung der Zustände: Unterschiedlichste Technologien möglich: mechanisch, optoelektronisch, elektromechanisch => heute überwiegend elektronisch, Fluidics. Abbildung der binären Zustände: Kontakt hergestellt oder Kontakt offen, 0 Volt oder -5 Volt Spannung, Transistoren als Schalter => Elektrische Ladung, Magnetisierung => Perforation, Licht, Bio... A-7 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
8 B.3. Digitale logische Systeme B.3.1 Elementare logische Funktionen Logische Funktion tritt in den Vordergrund: Elektronik wird weniger wichtig, Konjunktion, Disjunktion, Negation, UND, ODER, NOT... Wahrheitstabellen ( Truth Tables ): UND ODER NOT A B Y A B Y A Y Komplexere Funktionen durch zusammengeschaltete Funktionen/Gatter A-8 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
9 B.3.2 Und-Gatter ( AND-Gate ) Das Resultat Y ist true, falls Eingabe A true ist und Eingabe B true ist. Implementieren die Konjunktion von zwei oder mehr Eingabevariablen: zwei Parameter: mehrere Parameter: A B Y A A 1 A 2 A 3... A N... B Y A B & Y Alternative Schreibweisen: Y = A & B Y = A B Y = A B Y = A B Y = A 1 & A 2 & A 3 &... & A N Y = A 1 A 2 A 3... A N Y = A 1 A 2 A 3... A N Y = A 1 A 2 A 3... A N Y A-9 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
10 B.3.3 Oder-Gatter ( OR-Gate ) Das Resultat Y ist true, falls Eingabe A true ist oder Eingabe B true ist. Implementieren die Disjunktion von zwei oder mehr Eingabevariablen: zwei Parameter: mehrere Parameter: A B Y A A 1 A 2 A 3... A N... B Y A B Y Y Alternative Schreibweisen: Y = A B Y = A B Y = A + B Y = A B Y = A 1 A 2 A 3... A N Y = A 1 A 2 A 3... A N A-10 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
11 B.3.4 Nicht-Gatter ( NOT-Gate ) Das Resultat Y ist true, genau wenn Eingabe A false ist. Implementieren die Negation/Komplement: Nur ein Parameter ist sinnvoll, NOT als unärer Operator. A Y A Y A Y A Y Alternative Schreibweisen: Y = A Y = A Y =! A Y = A A-11 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
12 B.3.5 Realisierung einer Gatterfunktion Aufbau eines Und-Gatters z.b. elektrische Implementierung mit Relais kein Stromfluss möglich => 0 Stromfluss möglich => 1 Y A B A-12 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
13 B.3.6 Logische Schaltungen Zusammenschalten mehrere elementarer Gatter zu einer Schaltung: Im allgemeinen mehrere Eingänge und mehrere Ausgänge, Y = (!B & C) (A & B) (!A & B & C) (A &!B &!C) X = (!B & C) (!A & B) A-13 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
14 B.3.7 Logische Schaltungen: Beispiel 2: A X B C Y Problemkreise: NOT ( A & B ) oft billiger als ( A & B ), Nachweis der Äquivalenz von Schaltungen, Synthese von Schaltungen aus Wahrheitstabelle, minimaler Aufbau von Schaltungen (Kostenersparnis), => Boole sche Algebra. A-14 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
15 B.4. Boolesche Algebra Von George Boole 1854 entwickelte Algebra drei Operationen: + und und (bzw. und & und! ) zwei Werte: 0 und 1 Vier Axiome (nach Huntington, 1904): 1. Neutrale Elemente 0 und 1: A + 0 = A A 1 = A 2. Komplementäres Element: A + A = 1 A A = 0 3. Kommutativität: A + B = B + A A B = B A 4. Distributivität: A ( B + C) = A B + A C A + ( B C) = ( A + B) ( A + C) A-15 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
16 B.4.1 Wichtige Sätze Aus den Axiomen beweisbar, evtl. mittels einer Wahrheitstafel... Doppeltes Komplement: ( A ) = Komplementäre Werte: 0 = 1 ; 1 = 0 Idempotenz: Absorption: Satz von De Morgan: A A A = A; A + A = A ( A + B) = A ; A + ( A B) = ( A B) = A + B ; ( A + B) = Assoziativität: A ( B C) = ( A B) C; A + ( B + C) = ( A + B) + Abgeschlossenheit: Boolesche Operationen liefern nur boolesche Werte als Ergebnis Dualität Für jede aus den Axiomen ableitbare Aussage gibt es eine duale Aussage, die durch Tausch der Operationen + und sowie durch Tausch der Werte 0 und 1 entsteht. C A A B A A-16 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
17 B.4.2 Schaltalgebra Boolesche Algebra für logische Schaltungen Zustand 0 bzw. false, Zustand 1 bzw. true, Operation NICHT bzw.,,! : = Operation ODER bzw. +,, : = Operation UND bzw.,, & : = Gesetze der Booleschen Algebra helfen bei Synthese von Schaltungen aus Wahrheitstabellen Nachweis der Äquivalenz von Schaltungen Minimisierung von Schaltungen A-17 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
18 B.5. Schaltfunktionen Zweiwertige Funktion über zweiwertige Variablen: a Schaltfunktion f( a ) ( 0, 1 ) Allgemein: eindeutige Zuordnungsvorschrift zwischen den Wertekombinationen der Eingabevariablen und dem jeweiligen Ergebniswert bei n Eingabevariablen 2n Kombinationsmöglichkeiten für mögliche Eingabewerte Darstellung der Funktion durch boolesche Ausdrücke: Variablen und Operationen aus der booleschen Algebra, z.b. : f ( a, b, c) = a b + c A-18 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
19 B.5.1 Wahrheitstafeln Tabellarische Darstellung der Zuordnung: f ( a, b, c) = a b + c a b c f(a,b,c) Anzahl der verschiedenen n-stelligen Schaltfunktionen: 256 dreistellige Schaltfunktionen, 16 zweistellige Schaltfunktionen, 4 einstellige.. A-19 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
20 B.5.2 Vier einstellige Schaltfunktionen Name: Argument Null Negation Identität Eins Wahr- a f(a) f(a) f(a) f(a) heits tafel: Ausdruck: B.5.3 Sechzehn zweistellige Schaltfunktionen f i (a, b) Name: a b f 0 f 1 f 2 f 3 f 4 f 5 f 6 f 7 f 8 f 9 f 10 f 11 f 12 f 13 f 14 f 15 Wahr heits tafel: Ausdruck: 0 > a < b = b a 1 A-20 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
21 Funktionsnamen & -semantik: f0: Nullfunktion, f(a,b) = 0 f1: UND-Funktion, Konjunktion, logisches Produkt, f(a,b) = a & b = a b f2: Nur-Funktion, f(a,b) = a &!b f3: Links-Identität, f(a,b) = a f4: Nur-Funktion, f(a,b) =!a & b f5: Rechts-Identität, f(a,b) = b f6: XOR-Funktion, Exklusives Oder, Antivalenz,, f(a,b) =!(a=b) f7: ODER-Funktion, Disjunktion, logische Summe, f(a,b) = a b f8: NOR-Funktion, Peirce-Funktion, Negiertes ODER, f(a,b) =!(a b) f9: Äquivalenz-Funktion, f(a,b) = (a=b) f10: Rechts-Negation, f(a,b) =!b f11: Links Implikation, f(a,b) = a+!b = a b f12: Links-Negation, f(a,b) =!a f13: Rechts-Implikation, f(a,b) =!a+b = a b f14: NAND- bzw. Sheffer-Funktion, Negiertes UND, f(a,b) =!(a & b) f15: Einsfunktion, f(a,b) = 1 A-21 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
22 B.5.4 Sheffer-Funktion (NAND) Ist in der Lage alle anderen Schaltfunktionen zu realisieren NAND (und NOR) leicht in Hardware realisierbar. Die drei grundlegenden Funktionen und alle anderen sind darstellbar: NICHT: ODER: UND: Neben der Sheffer-Funktion bildet auch die Peirce-Funktion (NOR) alle anderen Funktionen nach. A-22 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
23 B.6. Darstellungsformen von Schaltfunktionen Wahrheitstabelle (NAND): A B Y Boolescher Ausdruck:!(A & B) bzw.!a!b Schaltung mit elementaren Gattern (UND, ODER, NICHT) oder mit anderen Gattern (XOR, NAND, NOR...): Problem der Mehrdeutigkeit: boolescher Ausdruck und Schaltung sind nicht eindeutig mehrere Ausdrücke (Schaltungen) repräsentieren die gleiche Schaltfunktion => Normalformen A-23 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
24 B.6.1 Normalformen: Normierte Ausdrücke zur Darstellung von Schaltfunktionen. Produktterm: einfache Variable (evtl. negiert) Konjunktion einfacher Variablen (jeweils evtl. negiert) z.b.: a, c, abc, b d z, a b c Summenterm: analog zu Produktterm, jedoch Disjunktion z.b.: a, c, b d z, a + b + c, a b c Minterm: Produktterm, in dem jede Variable einer Schaltfunktion genau einmal vorkommt (einfach oder negiert): Hat fast immer den Wert 0 ( meistenfalls ), z.b.: ab cd, a b c d falls f ( a, b, c, d) Maxterm: Summenterm, in dem jede Variable einer Schaltfunktion genau einmal vorkommt (einfach oder negiert): Hat fast immer den Wert 1, z.b.: u + v + w, u + v + w falls f ( u, v, w) A-24 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
25 disjunktive Normalform (DNF): Disjunktion von Produkttermen z.b.: ab abc cd kanonische disjunktive Normalform (KDNF): Disjunktion von Mintermen alle Variablen der Schaltfunktion kommen vor, z.b.: ab cd abcd abcd abcd falls f ( a, b, c, d) konjunktive Normalform (KNF): Konjunktion von Summentermen, z.b.: ( a + b) ( b + c + d) ( a + d) kanonische konjunktive Normalform (KKNF): Konjunktion von Maxtermen, alle Variablen der Schaltfunktion kommen vor, z.b.: ( a + b + c + d) ( a + b + c + d) ( a + b + c + d ) falls f ( a, b, c, d) A-25 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
26 B.6.2 Hauptsätze der Schaltalgebra KDNF & KKNF sind bis auf Vertauschungen eindeutig (Kommutativität) Jede Schaltfunktion lässt sich als genau eine KDNF darstellen Für jedes f(x)=1 aus der Wahrheitstafel bilde man einen Minterm für die KDNF. Eine Variable xi wird invertiert, wenn die Variable für diesen Eintrag in der Wahrheitstabelle 0 ist, ansonsten einfach verwendet. Jede Schaltfunktion lässt sich als genau eine KKNF darstellen Für jedes f(x)=0 aus der Wahrheitstafel bilde man einen Maxterm für die KKNF. Eine Variable x i wird invertiert, wenn die Variable für diesen Eintrag in der Wahrheitstabelle 1 ist, ansonsten einfach verwendet. A-26 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
27 Überführung der kanonischen Normalformen ineinander: Auf Grund der obigen Konstruktionregeln (Dualität...) gilt: und KDNF( f( x ) ) = KKNF( f( x ) ) KKNF( f( x ) ) = KDNF( f( x ) ) Erläuterung am konkreten Beispiel einer ODER-Funktion: Resultatsvektor und distributive NF aus Wahrheitstafel: KDNF( ODER(x) ) = KDNF( [0, 1, 1, 1] ) = x 1 x 2 + x 1 x 2 + x 1 x 2 Resultatsvektor invertieren... KDNF( ODER(x) ) = KDNF( [0, 1, 1, 1] ) = KDNF( [1, 0, 0, 0] ) = x 1 x 2 KDNF( ODER(x) ) = x 1 x 2 = x 1 + x 2 = x 1 + x 2 (De Morgan) KKNF( ODER(x) ) = KKNF( [0, 1, 1, 1] ) = (x 1 + x 2 ) A-27 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
28 B.7. Synthese von Schaltungen B.7.1 Vorgehen (ODER als Beispiel): 1. Aufstellen der Wahrheitstafel, 2. Bilden der KDNF (oder KKNF), 3. Aufbau der dazugehörigen Schaltung, Beispiel: zweistellige ODER-Funktion (siehe oben): KKNF( ODER(x) ) = a + b KDNF( ODER(x) ) = a b + a b + a b a b bzw. a b Vorsicht: Schaltung wird in aller Regel nicht minimal sein. A-28 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
29 B.7.2 Beispiel 2: Eingabemelder Meldet, welche der 3 Eingabevariablen gesetzt ist. Zwei dreistellige Schaltfunktionen: Genau eine der Eingabevariablen kann 1 sein, Ergebnis ist Nummer der Eingabevariable, (als Ergebnis zweier Schaltfunktionen). Wahrheitstafel (d für do not care ): a b c f2(a, b, c) f1(a, b, c) # d d d d d d d d KDNF(f2) = abc + abc KDNF(f1) = abc + abc A-29 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
30 B.7.3 Beispiel: Siebensegmentanzeige Typische Anzeige für Ziffern. Eingabe-Parameter: binär codierte Zahl bzw. Ziffer. Gesucht: Schaltfunktionen zur Ansteuerung der Segmente. z.b. Schaltfunktion für die Ansteuerung des Segmentes d. A-30 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
31 B.7.4 Aufstellung der Wahrheitstafel für Segment d: x3 x2 x1 x0 f(x3, x2, x1, x0) # Minterm x3 x2 x1 x x3 x2 x1 x x3 x2 x1 x x3 x2 x1 x x3 x2 x1 x x3 x2 x1 x x3 x2 x1 x d a d b d f A-31 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
32 B.7.5 Äquivalenz und Kanonische Normalformen Schaltfunktionen sind dann äquivalent, wenn sie sich auf dieselbe KDNF oder KKNF zurückführen lassen, wenn sie dieselbe Wahrheitstafel haben. KDNF bzw. KKNF eindeutig bis auf Vertauschungen (Kommutativität). KDNF für Anzeige-Segment d: (x3 x2 x1 x0) + (x3 x2 x1 x0) + (x3 x2 x1 x0) + (x3 x2 x1 x0) + (x3 x2 x1 x0) + (x3 x2 x1 x0) + (x3 x2 x1 x0) nur 1-Werte betrachten, Nullen und don t care -Werte ignorieren, Die vorliegende KDNF ist sicherlich nicht minimal, ungeeignet zur Übertragung in eine kostengünstige Schaltung. KKNF dazu: (x3 + x2 + x1 + x0) (x3 + x2 + x1 + x0) (x3 + x2 + x1 + x0) Weniger Terme, evtl. billiger als KDNF, Aber noch nicht günstig. A-32 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
33 B.8. Umformungen nach Gesetzen der Boole schen Algebra Das Verhalten der Schaltfunktion bleibt unverändert. Nutzen: Nach Umformung eventuell günstigere/minimalere SF. Regeln aus C.4.1. (wiederholt): Doppeltes Komplement, Komplementäre Werte, Satz von De Morgan, Abgeschlossenheit, Assoziativität, Idempotenz, Absorption, Dualität. Ergänzende Regel: a b + a b = a (b + b) = a 1 = a A-33 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
34 B.8.1 Minimisieren von Schaltfunktionen Suche nach einer minimalen Darstellung einer Schaltfunktion Was heisst minimal? - Größenbegriff notwendig: Verzögerung der logischen Signale durch die Schaltung? Anzahl der notwendigen Kontakte, Menge der notwendigen Gatter, Anzahl der notwendigen ICs, Anzahl der Variablen, Anzahl Euros, Kosten... Verzögerung? Minimisierung in der Technischen Informatik: (Darstellung der Verfahren üblich, weil diese sich so schön formalisieren lassen), Anzahl der erforderlicen booleschen Operationen als Kriterium, Flexiblere Kriterien in Optimierungsprogrammen. & + + & & + & A-34 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
35 B.8.2 Verfahren der Minimisierung Manuelles Minimisieren Umformen (z.b. der KDNF) nach den Regeln der Booleschen Algebra. Graphische Verfahren Händlersche Kreisgraphen Karnaugh-Veitch Diagramme geeignet für Schaltfunktionen mit wenigen Variablen. Algorithmisches Verfahren Verfahren nach Quine/McCluskey kann durch ein Programm angewandt werden geeignet für Schaltfunktionen mit vielen Variablen. Optimierende Programme: Kombinieren die simultane Erzeugung mehrerer Schaltfunktionen, Berücksichtigen die beabsichtigte Implementierungstechnologie, Evtl. Ermittlung zeitkritischer Pfade in der Schaltung, Komplexere aber realistische Kostenfunktion, PLA Programmierung. A-35 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
36 B.8.3 Manuelle Minimisierung einer ODER-Funktion Vergleiche C.7.1. KDNF( ODER(x) ) : = a b + a b + a b = a b + a ( b + b) = a b + a 1 = a b + a = a b + a + a b = ( a + a) b + a = b + a (Distributivität, Komplementarität, Absorption) a b bzw. a b A-36 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
37 B.9. Karnaugh-Veitch-Diagramme Ausgangspunkt KDNF (oder KKNF) Rechteckschema je ein Feld für jeden möglichen Minterm (Maxterm) Anordnung der Felder erleichtert zusammenfassen benachbarter Felder bzw. Minterme Diagramm für zweistellige Schaltfunktion Funktion: f(a, b ) Diagramm: Vier Minterme für vier Felder. a a b a b a b b a b a b A-37 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
38 B.9.1 Diagrammaufbau jede Variable halbiert das Diagramm in zwei zusammenhängende Teile, linker Teil für a rechter Teil für a: a a b a b a b b a b a b Variable a a a b a b a b b a b a b Variable b benachbarte Felder unterscheiden sich nur um das Vorzeichen einer Variablen in den beiden Mintermen. A-38 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
39 B.9.2 Beispiel: Oder-Funktion Aufstellen der KDNF. Eintragung in das Diagramm: Eintragung einer 1, wenn Minterm benötigt wird, Eintragung einer 0, wenn Minterm nicht benötigt wird, Eintragung auch direkt aus Wahrheitstafel möglich. a a b 0 1 b 1 1 Markierung: möglichst weniger und möglichst großer zusammenhängender Bereiche mit 1en nur zusammenhängende rechteckige Bereiche mit 2n Elementen erlaubt alle 1 Felder müssen schließlich markiert sein Markierte Bereiche ergeben Produktterme, die summiert werden: F( a, b ) = a + b a a b 0 1 b 1 1 A-39 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
40 B.9.3 Dreistellige Schaltfunktion mit Karnaugh-Veitch Karnaugh-Veitch-Diagramm für die dreistellige Schaltfunktion: Die einzelnen Variablen definieren eine eigene Halbierung des Diagramms Vorstellung: Diagramm ist an den Rändern zusammengeklebt, die Bereiche für!b gehören zusammen!a a!c c a b c a b c a b c a b c a b c a b c a b c a b c!b b!b A-40 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
41 B.9.4 Beispiel: Eingabemelder Belegen des Diagramms aus der Wahrheitstafel für f2 aus C.7.2 Wahrheitstafel für Eingabemelder, Eintragung der don t care -Werte:!a a!c c 0 1 d 1 0 d d d!b b!b Markieren: Ziel: möglichst große Bereiche markieren don t care -Werte können mitmarkiert werden oder nicht, markierte don t care -Werte werden später zu 1, andere zu 0. markierte Bereiche ergeben Produktterme, die summiert werden: => f2( a, b, c ) = a + b A-41 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
42 B.9.5 Karnaugh-Veitch-Diagramm für vierstellige Schaltfunktion Vier verschiedene Halbierungen durch die vier Variablen. 16 verschiedene Minterme.!a a!c c abcd abcd abcd abcd abcd abcd abcd abcd abcd abcd abcd abcd abcd abcd abcd abcd!d d!d!b b!b A-42 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
43 B.9.6 Beispiel: 2x2-Multiplizierer Binärer Multiplizierer für 2 mal 2 Eingänge Linker Operand: zwei Eingänge a und b, Rechter Operand: zwei Eingänge c und d Binärdarstellung von Zahlen von 0 bis 3 bzw. 0 bis 15 vier Ausgänge y3, y2, y1 und y0, bzw. f3, f2, f1, f0. Mult a b c d y3 y2 y1 y0 0 x 0 = x 1 = x 2 = x 3 = x 0 = x 1 = x 2 = x 3 = x 0 = x 1 = x 2 = x 3 = x 0 = x 1 = x 2 = x 3 = A-43 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
44 Markierungsregeln: rechteckige Bereiche mit 2n Elementen markieren Diagramm gilt als oben und unten zusammengenäht alle 1-Werte müssen markiert werden möglichst große Bereiche markieren möglichst wenig Bereiche markieren Karnaugh-Veitch-Diagramm für y0: a y0 = bd c d b Karnaugh-Veitch-Diagramm für y1: a y1 = bcd+abc+acd+abd c d b A-44 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
45 Karnaugh-Veitch-Diagramm für y2: a y1 = abc+acd c d Karnaugh-Veitch-Diagramm für y3: b a y1 = abcd c d b A-45 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
46 B.10. Schaltnetze B.10.1 Allgemein Erzeugen mehrere Schaltfunktionen simultan: Vgl. die Beispiele Eingabemelder, 2*2 Multiplizierer... Englisch: Combinational Networks, Eingangs- & Ausgangsvektor: f ( x ) = f 1 =( x 1, x 2,... x n ) f 2 =( x 1, x 2,... x n )... f m =( x 1, x 2,... x n ) Entspricht einer Schaltung mit mehreren Eingängen & Ausgängen: x 1 x 2 x 3... f 1 ( x ) f 2 ( x )... x n f m ( x ) A-46 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
47 B.10.2 Systematik digitaler Schaltungen Ungetaktet Getaktet nur eine Fkt. Mehrere Fkt. <= Anzahl der Schaltfunktionen kombinatorische Logikschaltung sequentielle Logikschaltung kombinatorisches Schaltnetz sequentielles Schaltnetz Taktfolge Sequentielle Logik erst im nächsten Kapitel D: Zustandswechsel jeweils zum Taktzeitpunkt, Relevante innere Zustände... A-47 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
48 B.10.3 Realisierung von Schaltnetzen über die Normalform Schaltnetz als gerichteter, azyklischer Graph: Gatter, bzw. deren Ein- und Ausgänge sind Knoten Verbindungsleitungen zw. Gattern sind Kanten, Richtung der Kanten von Ausgang zu Eingang. Gatterebenen: Einstufige mit nur einer Gatterebene: zweistufige mit zwei Gatterebenen: mehrstufige mit n Gatterebenen: Jedes Schaltnetz ist zweistufig realisierbar, und wenn Gatter mit genügend vielen Eingängen vorliegen, wenn alle Signale einfach & negiert vorliegen. A-48 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
49 Anzahl der notwendigen Gatter bei n Eingängen max. 2n Und-Gatter pro Schaltfunktion mit bis zu n Eingängen (KDNF) ein Oder-Gatter mit bis zu 2n Eingängen Begründung mit KDNF: auch bei einer nicht kanonischen Normalform, DNF / KNF implizieren 2-stufige Realisierung, Variablen werden einfach oder negiert benutzt, Und-Gatter pro Minterm (erste Stufe), Oder-Gatter für alle Minterme, Hier Eingabemelder. Minimisierung nun parallel: reduziert die Gatteranzahl, reduziert Anzahl Eingänge pro Gatter, für mehrere Schaltfunktionen des Schaltnetzes, Simultane Verwendung von Teilen der Gatterschaltung. z.b. Karnaugh-Veitch-Diagr. für mehrere Schaltfunktionen des Netzes. A-49 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
50 B.11. Typische Schaltnetze B aus-k-Multiplexer, Selektierer Steuerleitungen weisen Eingabeleitungen wahlweise einem Ausgang zu: Die Steuerleitungen werden binär interpretiert, i = Summe( 2 n s n s 1 + s 0 ) Als Ausgabe y wird x i selektiert. Eingänge x0... xk Ausgang y Steuerleitungen s n... s 0 A-50 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
51 Realisierung als DNF für 2 Binärstellen, ( n = ): Einsatzmöglichkeiten: insbesondere zur Selektierung von Eingangsoperanden für die ALU in MIPS-CPU, allgemein zur Anzeige und Auswahl verschiedener Datenquellen. A-51 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
52 B zu-k-Demultiplexer Steuerleitungen weisen ein Eingabesignal dem gewählten Ausgang zu: Die Steuerleitungen werden binär interpretiert, i = Summe( 2 n s n s 1 + s 0 ) Die Funktion bzw. Ausgabevariable y i erhält den Wert x, Alle anderen y j entweder 0 oder do not care. Eingang x Ausgänge y0... yk Steuerleitungen s n... s 0 A-52 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
53 Realisierung als DNF für zwei Binärstellen (n = 0..1): y 0 = s 1 s 0 x; y 1 = s 1 s 0 x; y 2 = s 1 s 0 x; y 3 = s 1 s 0 x; x y 0 y 1 y 2 s 0 s 1 y 3 A-53 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
54 Einsatzmöglichkeiten für Mux & Demux: Zuordnung und Auswahl verschiedener Datensenken (CPU Register, E/A-Geräte), Verteilung von Telephongesprächen (unrealistisch): z.b. 2 Mbit/sec Demux z.b. 256*64 kbit/sec (max. 32 aktive ISDN Telephone) 8 Steuerleitungen z.b. 2 Mbit/sec Mux z.b. 256*64 kbit/sec (max. 32 aktive ISDN Telephone) 8 Steuerleitungen Multiplexer heisst so ungefähr Vielfachschaltung : Multiplexen = Vielfachbetrieb einrichten, zusammenfächern, Demultiplexen = Vielfachbetrieb auflösen. auseinanderfächern. A-54 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
55 B.11.3 k-zu-n-kodierer, Encoder, Codierer Index i eines Eingangs x i wird ausgegeben: n ist die Anzahl der Binärstellen des Resultates (z.b. n=3), k ist der Indexbereich für die Eingänge, Eingänge (x 0, x 1,... x k-1 ) = x, k = 2 n genau eine Eingangsleitung auf 1 (x i ), Ausgänge (y 0,... y n-1 ) = y Ausgabe des Index i als Binärzahl: Index i = Summe( 2 n-1 y n y 1 + y 0 ) x 0 x 1 x 2 x 3... x k-1 Encoder y 0 y 1.. y n-1 z.b. 8 Interrupt-Requests werden als 3-Bit Wert codiert & weitergegeben. A-55 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
56 Einfache Einsatzmöglichkeit: Anzeige der Fensterkontakte einer Einbrechermeldeanlage, Zwei Lämpchen für 3 Kontakte/Stromkreise, Kontakt 0 unbenutzt... Realisierung als DNF für n = 2, k = 4 : A-56 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
57 B.11.4 n-zu-k-dekodierer, Decoder, Dekodierer n Eingänge selektieren genau einen von k Ausgängen: immer genau eine Ausgangsleitung auf 1, wenige Eingänge (x 0,... x n-1 ) = x viele Ausgänge (y 0, y 1,... x k-1 ) = y, k = 2 n Zahlendarstellung im Binärsystem: Index i = Summe( 2 n-1 x n x 1 + x 0 ) y o y 1 x o... x n-1 Decoder y 2 y 3... y k-1 A-57 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
58 Realisierung für n = 2, k = 4 als DNF: Einsatzmöglichkeit: Instruktionsdecodierung: 6 Bit Opcode kann 64 verschiedene Instruktionen codieren. A-58 Technische Informatik 2, Winter 2008/09, P. Schulthess, VS Informatik, Ulm
Grundlagen 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
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
MehrInformationsverarbeitung auf Bitebene
Informationsverarbeitung auf Bitebene Dr. Christian Herta 5. November 2005 Einführung in die Informatik - Informationsverarbeitung auf Bitebene Dr. Christian Herta Grundlagen der Informationverarbeitung
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
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
MehrComputersysteme. 2. Grundlagen Digitaler Schaltungen 2.10 Minimierung Boole scher Funktionen 2.11 CMOS Komplexgatter
Computersysteme 2. Grundlagen Digitaler Schaltungen 2.10 Minimierung Boole scher Funktionen 2.11 CMOS Komplexgatter 1 Die Einsen im KV-Diagramm werden zu Blöcken maximaler Größe zusammengefasst. Dabei
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,
MehrGrundlagen der Informationverarbeitung
Grundlagen der Informationverarbeitung Information wird im Computer binär repräsentiert. Die binär dargestellten Daten sollen im Computer verarbeitet werden, d.h. es müssen Rechnerschaltungen existieren,
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
MehrKombinatorische Logik. Einführung in die Technische Informatik Falko Dressler, Stefan Podlipnig Universität Innsbruck
Kombinatorische Logik Einführung in die Technische Informatik Falko Dressler, Stefan Podlipnig Universität Innsbruck Überblick Analog- und Digitaltechnik Boolesche Algebra Schaltfunktionen Gatter Normalformen
MehrLogik (Teschl/Teschl 1.1 und 1.3)
Logik (Teschl/Teschl 1.1 und 1.3) Eine Aussage ist ein Satz, von dem man eindeutig entscheiden kann, ob er wahr (true, = 1) oder falsch (false, = 0) ist. Beispiele a: 1 + 1 = 2 b: Darmstadt liegt in Bayern.
MehrA.1 Schaltfunktionen und Schaltnetze
Schaltfunktionen und Schaltnetze A. Schaltfunktionen und Schaltnetze 22 Prof. Dr. Rainer Manthey Informatik II Bedeutung des Binärsystems für den Rechneraufbau Seit Beginn der Entwicklung von Computerhardware
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
MehrPhysikalisches Praktikum für Vorgerückte. an der ETH Zürich. vorgelegt von. Mattia Rigotti Digitale Elektronik
Physikalisches Praktikum für Vorgerückte an der ETH Zürich vorgelegt von Mattia Rigotti mrigotti@student.ethz.ch 14.02.2003 Digitale Elektronik Versuchsprotokoll 1 Inhaltverzeichnis 1. Zusammenfassung...
MehrII. Grundlagen der Programmierung
II. Grundlagen der Programmierung II.1. Zahlenssteme und elementare Logik 1.1. Zahlenssteme 1.1.1. Ganze Zahlen Ganze Zahlen werden im Dezimalsstem als Folge von Ziffern 0, 1,..., 9 dargestellt, z.b. 123
MehrDigitalelektronik - Inhalt
Digitalelektronik - Inhalt Grundlagen Signale und Werte Rechenregeln, Verknüpfungsregeln Boolesche Algebra, Funktionsdarstellungen Codes Schaltungsentwurf Kombinatorik Sequentielle Schaltungen Entwurfswerkzeuge
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,
Mehr5. Vorlesung: Normalformen
5. Vorlesung: Normalformen Wiederholung Vollständige Systeme Minterme Maxterme Disjunktive Normalform (DNF) Konjunktive Normalform (KNF) 1 XOR (Antivalenz) X X X X X X ( X X ) ( X X ) 1 2 1 2 1 2 1 2 1
Mehr5. Aussagenlogik und Schaltalgebra
5. Aussagenlogik und Schaltalgebra Aussageformen und Aussagenlogik Boolesche Terme und Boolesche Funktionen Boolesche Algebra Schaltalgebra Schaltnetze und Schaltwerke R. Der 1 Aussagen Information oft
MehrTechnische Informatik
Vorlesung WS 25/6 Klaus Merle, ZDV, Universität Mainz [25ws-TI-A-Org.fm, 25-11-2 13.12] A Organisatorisches Klaus Merle, ZDV, Universität Mainz [25ws-TI-A-Org.fm, 25-11-2 13.12] A 1 1 Dozent Prof. Dr.
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
MehrÜbung 4: Aussagenlogik II
Übung 4: Aussagenlogik II Diskrete Strukturen im Wintersemester 2013/2014 Markus Kaiser 8. Januar 2014 1/10 Äquivalenzregeln Identität F true F Dominanz F true true Idempotenz F F F Doppelte Negation F
MehrSignalverarbeitung 1
TiEl-F000 Sommersemester 2008 Signalverarbeitung 1 (Vorlesungsnummer 260215) 2003-10-10-0000 TiEl-F035 Digitaltechnik 2.1 Logikpegel in der Digitaltechnik In binären Schaltungen repräsentieren zwei definierte
MehrTeil II. Schaltfunktionen
Teil II Schaltfunktionen 1 Teil II.1 Zahlendarstellung 2 b-adische Systeme Sei b IN mit b > 1 und E b = {0, 1,..., b 1} (Alphabet). Dann ist jede Fixpunktzahl z (mit n Vorkomma und k Nachkommastellen)
MehrLösung 3.1 Schaltalgebra - Schaltnetze (AND, OR, Inverter)
Lösung 3.1 Schaltalgebra - Schaltnetze (AND, OR, Inverter) Folgende Darstellung der Funktionen als Zusammenschaltung von AND-, OR- und Invertergattern ist möglich: a) F = X ( Y Z) b) F = EN ( X Y) ( Y
MehrVon-Neumann-Rechner / Rechenwerk
Von-Neumann-Rechner / Rechenwerk Aufgaben: Durchführung arithmetischer und logischer Verknüpfungen (daher auch der Name Arithmetic Logical Unit) Steuerwerk und Rechenwerk werden usammen auch als CPU usammengefasst.
MehrVerwendet man zur Darstellung nur binäre Elemente ( bis lat.: zweimal) so spricht man von binärer Digitaltechnik.
Kursleiter : W. Zimmer 1/24 Digitale Darstellung von Größen Eine Meßgröße ist digital, wenn sie in ihrem Wertebereich nur eine endliche Anzahl von Werten annehmen kann, also "abzählbar" ist. Digital kommt
Mehr9 Multiplexer und Code-Umsetzer
9 9 Multiplexer und Code-Umsetzer In diesem Kapitel werden zwei Standard-Bauelemente, nämlich Multiplexer und Code- Umsetzer, vorgestellt. Diese Bausteine sind für eine Reihe von Anwendungen, wie zum Beispiel
MehrInformatik A (Autor: Max Willert)
2. Aufgabenblatt Wintersemester 2012/2013 - Musterlösung Informatik A (Autor: Max Willert) 1. Logik im Alltag (a) Restaurant A wirbt mit dem Slogan Gutes Essen ist nicht billig!, das danebenliegende Restaurant
MehrKonjunktive und disjunktive Normalformen
Konjunktive und disjunktive Normalformen Nachdem gesprochen wurde, wie man Boolesche Terme unter einer Belegung der Variablen interpretiert und dass somit jeder Boolesche Term eine Boolesche Funktion repräsentiert,
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
MehrTechnische Informatik - Eine Einführung
Martin-Luther-Universität Halle-Wittenberg Fachbereich Mathematik und Informatik Lehrstuhl für Technische Informatik Prof. P. Molitor Technische Informatik - Eine Einführung Boolesche Funktionen - Grundlagen
Mehr183.580, WS2012 Übungsgruppen: Mo., 22.10.
VU Grundlagen digitaler Systeme Übung 2: Numerik, Boolesche Algebra 183.580, WS2012 Übungsgruppen: Mo., 22.10. Aufgabe 1: Binäre Gleitpunkt-Arithmetik Addition & Subtraktion Gegeben sind die Zahlen: A
MehrKapitel 3: Boolesche Algebra
Inhalt: 3.1 Grundlegende Operationen und Gesetze 3.2 Boolesche Funktionen u. u. ihre Normalformen 3.3 Vereinfachen von booleschen Ausdrücken 3.4 Logische Schaltungen 3.1 Grundlegende Operationen und Gesetze
MehrAussagenlogik. Aussagen und Aussagenverknüpfungen
Aussagenlogik Aussagen und Aussagenverknüpfungen Aussagen sind Sätze, von denen sich sinnvollerweise sagen läßt, sie seien wahr oder falsch. Jede Aussage besitzt also einen von zwei möglichen Wahrheitswerten,
MehrAntwort: h = 5.70 bit Erklärung: Wahrscheinlichkeit p = 1/52, Informationsgehalt h = ld(1/p) => h = ld(52) = 5.70 bit
Übung 1 Achtung: ld(x) = Logarithmus dualis: ld(x) = log(x)/log(2) = ln(x)/ln(2)! Aufgabe 1 Frage: Wie gross ist der Informationsgehalt einer zufällig aus einem Stapel von 52 Bridgekarten gezogenen Spielkarte?
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
MehrGrundlagen der Digitaltechnik
Grundlagen der Digitaltechnik Eine systematische Einführung von Prof. Dipl.-Ing. Erich Leonhardt 3., bearbeitete Auflage Mit 326 Bildern, 128 Tabellen, zahlreichen Beispielen und Übungsaufgaben mit Lösungen
MehrGrundlagen der Informatik
Grundlagen der Informatik Teil III Boolesche Algebra, Signalarten, Elektronische Bauteile Seite 1 Boolesche Algebra George Boole => englischer Mathematiker Mitte 19. Jahrhundert Formale Sicht digitaler
MehrDIGITALTECHNIK 06 SCHALTUNGS- SYNTHESE UND ANALYSE
Seite 1 von 23 DIGITALTECHNIK 06 SCHALTUNGS- SYNTHESE UND ANALYSE Inhalt Seite 2 von 23 1 SCHALTUNGS- SYNTHESE UND ANALYSE... 3 1.1 NORMALFORM... 5 1.2 UND NORMALFORM... 5 1.3 ODER NORMALFORM... 7 1.4
MehrEinführung in. Logische Schaltungen
Einführung in Logische Schaltungen 1/7 Inhaltsverzeichnis 1. Einführung 1. Was sind logische Schaltungen 2. Grundlegende Elemente 3. Weitere Elemente 4. Beispiel einer logischen Schaltung 2. Notation von
MehrAufgabe 1 Minimieren Sie mit den Gesetzen der Booleschen Algebra 1.1 f a ab ab 1 = + + Aufgabe 2. Aufgabe 3
Logischer Entwurf Digitaler Systeme Seite: 1 Übungsblatt zur Wiederholung und Auffrischung Aufgabe 1 Minimieren Sie mit den Gesetzen der Booleschen Algebra 1.1 f a ab ab 1 = + + 1.2 f ( ) ( ) ( ) 2 = c
Mehr4. Anhang Unterschrift
Höhere Technische undes-, Lehr- und Versuchsanstalt (ULME) Graz Gösting Elektrotechnisches Laboratorium Jahrgang: 2004/05 Übungstag:... Name: Schriebl, Forjan, Schuster Gruppe:...... ufgabe: Kombinatorische
MehrBlack Box erklärt Logische Verknüpfungen
Black Box erklärt Logische Verknüpfungen Jeden Tag treffen wir Entscheidungen wie Trinke ich Cola ODER Kaffee? oder Heute ist es sonnig UND warm!. Dabei verwenden wir unbewusst logische Verknüpfungen (UND,
Mehr9. Elektronische Logiksysteme ohne Rückführung, kombinatorische Schaltungen
Fortgeschrittenenpraktikum I Universität Rostock - Physikalisches Institut 9. Elektronische Logiksysteme ohne Rückführung, kombinatorische Schaltungen Name: Daniel Schick Betreuer: Dipl. Ing. D. Bojarski
MehrErnst-Moritz-Arndt-Universität Greifswald Fachbereich Physik Elektronikpraktikum
Ernst-Moritz-Arndt-Universität Greifswald Fachbereich Physik Elektronikpraktikum Protokoll-Nr.: 11 Digitalschaltungen Protokollant: Jens Bernheiden Gruppe: 2 Aufgabe durchgeführt: 25.06.1997 Protokoll
MehrIntegrierte Schaltungen
Integrierte Schaltungen Klassen von Chips: SSI (Small Scale Integrated) circuit: 1 bis 10 Gatter MSI (Medium Scale Integrated) circuit: 10 bis 100 Gatter LSI (Large Scale Integrated) circuit: 100 bis 100
MehrGrundlagen der diskreten Mathematik
Grundlagen der diskreten Mathematik Prof. Dr. Romana Piat WS 25/6 Allgemeine Informationen Vorlesungen:./C Zug D (Mi., 3. Block + Do., 4. Block, y-raster) Zug E (Di., 5. Block + Do.,. Block, y-raster)
MehrSyntax der Aussagenlogik. Vorlesung Logik Sommersemester 2012 Universität Duisburg-Essen. Formel als Syntaxbaum. Teilformel A 3 A 1 A 4
Syntax der Vorlesung Logik Sommersemester 2012 Universität Duisburg-Essen Barbara König Übungsleitung: Christoph Blume Eine atomare Formel hat die Form A i (wobei i = 1, 2, 3,...). Definition (Formel)
MehrVorkurs Mathematik für Informatiker Aussagenlogik -- Thomas Huckle Stefan Zimmer Matous Sedlacek,
Vorkurs Mathematik für Informatiker -- 4 ussagenlogik -- Thomas Huckle Stefan Zimmer Matous Sedlacek, 7..2 ussagenlogik Rechnen mit Wahrheitswerten: oder, oder Objekte, die wir untersuchen, sind jetzt
MehrEinführung in die technische Informatik
Einführung in die technische Informatik hristopher Kruegel chris@auto.tuwien.ac.at http://www.auto.tuwien.ac.at/~chris Logische Schaltungen System mit Eingängen usgängen interne Logik die Eingänge auf
MehrGrundlagen der Digitaltechnik GD. Aufgaben und Musterlösungen
DIGITALTECHNIK GD KLAUSUR VOM 19. 3. 2014 AUFGABEN UND MUSTERLÖSUNGEN SEITE 1 VON 9 Name: FH Dortmund Matr.-Nr.: FB Informations- und Elektrotechnik Grundlagen der Digitaltechnik GD Klausur vom 19. 3.
Mehr6. Vorlesung: Minimalformen
6. Vorlesung: Minimalformen Wiederholung Minterme Maxterme Disjunktive Normalform (DN) Konjunktive Normalform (KN) Minimalformen KV-Diagramme 24..26 fällt aus wegen Dozentenfachexkursion 2 Normalformen
MehrInformatik Übungsaufgaben
Tobias Krähling email: Homepage: 22.2.27 Version: 1.5 Zusammenfassung Die Übungsaufgaben stammen aus den Übungsaufgaben und Anwesenheitsaufgaben zur Vorlesung»Einführung
MehrArbeitsblatt Logische Verknüpfungen Schaltnetzsynthese
Einleitung Zur Aktivitätsanzeige der 3 Gehäuselüfter (Signale a - c) eines PC-Systems soll eine Logikschaltung entwickelt werden, die über drei Signalleuchten (LEDs) anzeigt, ob ein beliebiger (LED1 x),
MehrKombinatorische Schaltwerke
Informationstechnisches Gymnasium Leutkirch Kombinatorische Schaltwerke Informationstechnik (IT) Gemäß Bildungsplan für das berufliche Gymnasium der dreijährigen Aufbauform an der Geschwister-Scholl-Schule
MehrI. Aussagenlogik. Aussagenlogik untersucht Verknüpfungen wie "und", "oder", "nicht", "wenn... dann" zwischen atomaren und komplexen Sätzen.
I. Aussagenlogik 2.1 Syntax Aussagenlogik untersucht Verknüpfungen wie "und", "oder", "nicht", "wenn... dann" zwischen atomaren und komplexen Sätzen. Sätze selbst sind entweder wahr oder falsch. Ansonsten
Mehrder einzelnen Aussagen den Wahrheitswert der zusammengesetzten Aussage falsch falsch falsch falsch wahr falsch wahr falsch falsch wahr wahr wahr
Kapitel 2 Grundbegriffe der Logik 2.1 Aussagen und deren Verknüpfungen Eine Aussage wie 4711 ist durch 3 teilbar oder 2 ist eine Primzahl, die nur wahr oder falsch sein kann, heißt logische Aussage. Ein
MehrGrundlagen der Digitalen Elektronik
Kapitel 1 Grundlagen der Digitalen Elektronik 1.1 Logische Grundverknüpfungen bei historischer Logik Am Beispiel einiger logischer Grundschaltungen lassen sich die logischen Grundverknüpfungen einfach
Mehr1 Einfache diskrete, digitale Verknüpfungen
1 Einfache diskrete, digitale Verknüpfungen Mit den drei Grund Gattern UND, ODER und Nicht lassen sich alle anderen Gattertypen realisieren! Q = e 1 e 1.1 AND, UND, Konjunktion 2 Die Konjunktion (lateinisch
MehrEinführung (1) Erster funktionsfähiger programmgesteuerter Rechenautomat Z3, fertiggestellt 1941 Bild: Nachbau im Deutschen Museum München
Einführung (1) Erster funktionsfähiger programmgesteuerter Rechenautomat Z3, fertiggestellt 1941 Bild: Nachbau im Deutschen Museum München Einführung (2) Architektur des Haswell- Prozessors (aus c t) Einführung
MehrRechnerstrukturen Winter 2015 4. WICHTIGE SCHALTNETZE. (c) Peter Sturm, University of Trier 1
4. WICHTIGE SCHALTNETZE (c) Peter Sturm, University of Trier 1 Wichtige Schaltnetze Häufig verwendete Grundfunktionen Umwandeln (Decoder) Verteilen (Multiplexer) und Zusammenfassen (Demultiplexer) Arithmetisch-
MehrStichwortverzeichnis. Gerd Wöstenkühler. Grundlagen der Digitaltechnik. Elementare Komponenten, Funktionen und Steuerungen ISBN:
Stichwortverzeichnis Gerd Wöstenkühler Grundlagen der Digitaltechnik Elementare Komponenten, Funktionen und Steuerungen ISBN: 978-3-446-42737-2 Weitere Informationen oder Bestellungen unter http://www.hanser.de/978-3-446-42737-2
MehrFormelsammlung. Wahrscheinlichkeit und Information
Formelsammlung Wahrscheinlichkeit und Information Ein Ereignis x trete mit der Wahrscheinlichkeit p(x) auf, dann ist das Auftreten dieses Ereignisses verbunden mit der Information I( x): mit log 2 (z)
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
MehrGrundlagen der Computertechnik
Grundlagen der Computertechnik Aufbau von Computersystemen und Grundlagen des Rechnens Walter Haas PROLOG WS23 Automation Systems Group E83- Institute of Computer Aided Automation Vienna University of
MehrRechnerorganisation I Zusammenfassung
Universität der Bundeswehr München Fakultät für Informatik Institut für Technische Informatik Rechnerorganisation I Zusammenfassung Tobias Kiesling kiesling@informatik.unibw-muenchen.de 09.12.2003 2. Boole
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
MehrEinführung in Informatik 1
Einführung in Informatik Prof. Dr.-Ing. Andreas Penningsfeld Zahlensysteme Allgemein: Zahl b := zn * bn +... + z * b + z ( ) * b (-) +... + z (-m) * b (-m) ; zi: Koeffizienten b: Basis Dezimalsystem Dualsystem
MehrZusammenfassung. Satz. 1 Seien F, G Boolesche Ausdrücke (in den Variablen x 1,..., x n ) 2 Seien f : B n B, g : B n B ihre Booleschen Funktionen
Zusammenfassung Zusammenfassung der letzten LV Einführung in die Theoretische Informatik Woche 6 Harald Zankl Institut für Informatik @ UIBK Wintersemester 2014/2015 Satz 1 Seien F, G Boolesche Ausdrücke
MehrKapitel 1.3. Normalformen aussagenlogischer Formeln und die Darstellbarkeit Boolescher Funktionen durch aussagenlogische Formeln
Kapitel 1.3 Normalformen aussagenlogischer Formeln und die Darstellbarkeit Boolescher Funktionen durch aussagenlogische Formeln Mathematische Logik (WS 2011/12) Kapitel 1.3: Normalformen 1/ 29 Übersicht
MehrNormalformen von Schaltfunktionen
Disjunktive Normalform (DNF) Vorgehen: 2. Aussuchen der Zeilen, in denen die Ausgangsvariable den Zustand 1 hat 3. Die Eingangsvariablen einer Zeile werden UND-verknüpft a. Variablen mit Zustand 1 werden
MehrVersuch V09: Logische Gatter
Versuch V09: Logische Gatter Henri Menke und Jan Trautwein Gruppe Platz k (Betreuer: Boris Bonev) (Datum: 6. Dezember 203) In diesem Versuch sollen Spannungspegel, Eingangsströme und andere elementare
MehrSchaltalgebra - logische Schaltungen
Schaltalgebra - logische Schaltungen Bakkalaureatsarbeit im Rahmen des Mathematischen Seminars unter Leitung von Wolfgang Schmid eingereicht von Verena Horak Salzburg, Sommersemester 2003 Inhaltsverzeichnis
Mehr3. Steuerungstechnik Teil I
3. Steuerungstechnik Teil I 3.. Boolsche Algebra und Schaltalgebra Die Berechnung logischer Verknüpfungen in binären Steuerungssystemen hat als Grundlage die Boolsche Algebra bzw. die auf Schaltsystemen
MehrProtokoll zum Praktikum des Moduls Technische Informatik an der JLU Gießen
Protokoll zum Praktikum des Moduls Technische Informatik an der JLU Gießen Technische Informatik Versuch 2 Julian Bergmann, Dennis Getzkow 8. Juni 203 Versuch 2 Einführung Im Versuch 2 sollte sich mit
Mehr1 Das Kommunikationsmodell
1 Das Kommunikationsmodell Das Sender-Empfänger-Modell der Kommunikation (nach Shannon und Weaver, 1949) definiert Kommunikation als Übertragung einer Nachricht von einem Sender zu einem Empfänger. Dabei
MehrTU5 Aussagenlogik II
TU5 Aussagenlogik II Daniela Andrade daniela.andrade@tum.de 21.11.2016 1 / 21 Kleine Anmerkung Meine Folien basieren auf den DS Trainer von Carlos Camino, den ihr auf www.carlos-camino.de/ds findet ;)
MehrMathematik-Vorkurs für Informatiker Aussagenlogik 1
Christian Eisentraut & Julia Krämer www.vorkurs-mathematik-informatik.de Mathematik-Vorkurs für Informatiker Aussagenlogik 1 Aufgabe 1. (Wiederholung wichtiger Begriffe) Kategorie 1 Notieren Sie die Definitionen
MehrSchaltalgebra in der Schule
Proseminararbeit Angewandte Mathematik WS 2002/03 Schaltalgebra in der Schule Lisi Karner 0006698 Elisabeth Lehner 0001277 Nicole Senft 0048777 1 Inhaltsverzeichnis Einleitung 1. Theoretischer Teil 1.1.
Mehra. Welche der folgenden Terme können als Minterm, Maxterm, beides oder keines von beidem dargestellt werden:
Übungen zur Vorlesung Technische Informatik I, SS 2002 Hauck / Guenkova-Luy / Prager / hen Übungsblatt 1 oolesche lgebra /Kombinatorische Logik ufgabe 1: a. Welche der folgenden Terme können als Minterm,
Mehr(Prüfungs-)Aufgaben zu Schaltnetzen
(Prüfungs-)Aufgaben zu Schaltnetzen 1) Gegeben sei die binäre Funktion f(a,b,c,d) durch folgende Wertetabelle: a b c d f(a,b,c,d) 0 1 0 0 0 0 1 1 1 1 1 1 0 0 1 1 a) Geben Sie die disjunktive Normalform
MehrBA-Mannheim, 1. Semester IT Digitaltechnik (Hr.Schillack)
Dies ist nun also die freundlicherweise von mir mitgetippte Fassung der Vorlesung Digitaltechnik (. Semester) bei Hr. Schillack an der BA-Mannheim. Ich hoffe ihr könnt damit was anfangen. Fehler, Kritik,
MehrMathematik-Vorkurs für Informatiker Aussagenlogik 1
Christian Eisentraut & Julia Krämer www.vorkurs-mathematik-informatik.de Mathematik-Vorkurs für Informatiker Aussagenlogik 1 Aufgabe 1. (Wiederholung wichtiger Begriffe) Notieren Sie die Definitionen der
MehrInformatik A ( Frank Hoffmann)
Teillösungen zum 1. Aufgabenblatt zur Vorlesung Informatik A ( Frank Hoffmann) 1. Improvisieren Stellen Sie die Zahl 6 dar durch einen Ausdruck, der genau dreimal die Ziffer i enthält und ansonsten neben
MehrBoolesche Algebra. Hans Joachim Oberle. Vorlesung an der TUHH im Wintersemester 2006/07 Montags, 9:45-11:15 Uhr, 14täglich TUHH, DE 22, Audimax 2
Universität Hamburg Department Mathematik Boolesche Algebra Hans Joachim Oberle Vorlesung an der TUHH im Wintersemester 2006/07 Montags, 9:45-11:15 Uhr, 14täglich TUHH, DE 22, Audimax 2 http://www.math.uni-hamburg.de/home/oberle/vorlesungen.html
MehrKapitel 1.0. Aussagenlogik: Einführung. Mathematische Logik (WS 2011/12) Kapitel 1.0: Aussagenlogik: Einführung 1/ 1
Kapitel 1.0 Aussagenlogik: Einführung Mathematische Logik (WS 2011/12) Kapitel 1.0: Aussagenlogik: Einführung 1/ 1 Ziele der Aussagenlogik In der Aussagenlogik analysiert man die Wahrheitswerte zusammengesetzter
MehrARBEITSBLATT ZU SCHALTUNGEN (I)
ARBEITSBLATT ZU SCHALTUNGEN (I) Aufgabe 1: An einem Stromnetz sind 4 Verbraucher angeschlossen, die folgende Leistung benötigen: Verbraucher a b c d kw 20 15 10 5 Maximal ist jedoch lediglich eine Leistung
Mehr5 Verarbeitungsschaltungen
5 Verarbeitungsschaltungen Folie 1 5 Verarbeitungsschaltungen Häufig genutzte Funktionen gibt es als fertige Bausteine zu kaufen. 5.1 Addierer logische Schaltungen zur Addition zweier Dualzahlen Alle Grundrechenarten
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
MehrDigitaltechnik. 1 Kombinatorische. Schaltungen. Revision 1.01
Digitaltechnik Kombinatorische Schaltungen A Revision. Boole sche Algebra Gatter Rechenregeln Minimierung kombinatorischer Schaltungen Kombinatorische Schaltungen in Verilog Kombinatorische Schaltungen
MehrVU Grundlagen digitaler Systeme
VU Grundlagen digitaler Systeme Übung 4. Übung 183.580, 2014W Übungsgruppen: Fr., 05.12.2014 Hinweis: Verwenden Sie für Ihre Lösungen keinen Taschenrechner und geben Sie die einzelnen Lösungsschritte an,
MehrC. Sequentielle Logik
C. Sequentielle Logik C.1. Einordnung Schaltungen mit innerem Zustand. Nächster Zustand nach jeweils t. Im Prinzip getaktete Schaltungen. Speichernde Schaltungen. Grosser Zustandsraum. Höhere Informatik
MehrDV1_Kapitel_4.doc Seite 4-1 von 28 Rüdiger Siol 12.09.2009 16:29
Inhaltsverzeichnis 4 Boolesche lgebra... 4-2 4. lgebra der Logik, algebraische Logik... 4-2 4.. Schaltalgebra und logische Schaltungen... 4-3 4... Zustand eines digitalen Systems... 4-5 4...2 Schaltfunktion...
MehrKapitel 2. Boolesche Algebra. Prof. Dr. Dirk W. Hoffmann. Hochschule Karlsruhe w University of Applied Sciences w Fakultät für Informatik
Kapitel 2 oolesche lgebra Prof. Dr. Dirk W. Hoffmann Hochschule Karlsruhe w University of pplied Sciences w Fakultät für Informatik Schaltalgebra, und sind Operatoren über der Menge {0,1} a b a b 0 0 0
MehrGrundlagen der Technischen Informatik. 8. Übung
Grundlagen der Technischen Informatik 8. Übung Christian Knell Keine Garantie für Korrekt-/Vollständigkeit 8. Übungsblatt Themen Aufgabe : Aufgabe : Aufgabe : Aufgabe : KMF, Nelson/Petrick-Verfahren Quine/McCluskey-Verfahren
MehrTechnischen Informatik I, WS 2004/05
PHILIPPS-UNIVERSITÄT MARBURG Fachbereich Mathematik und Informatik Prof Dr R Loogen, Dipl-Inform J Beringer D-3532 Marburg Hans-Meerwein-Straße Lahnberge Klausur zur Technischen Informatik I, WS 24/5 3
MehrVorbereitung zum Versuch
Vorbereitung zum Versuch Schaltlogik Armin Burgmeier (1347488) Gruppe 15 6. Januar 2008 1 Gatter aus diskreten Bauelementen Es sollen logische Bausteine (Gatter) aus bekannten, elektrischen Bauteilen aufgebaut
MehrGrundlagen der Technischen Informatik. 7. Übung
Grundlagen der Technischen Informatik 7. Übung Christian Knell Keine Garantie für Korrekt-/Vollständigkeit 7. Übungsblatt Themen Aufgabe : Aufgabe : Aufgabe : Aufgabe : KMF, Nelson/Petrick-Verfahren Quine/McCluskey-Verfahren
MehrBoole'sche Algebra. Inhaltsübersicht. Binäre Funktionen, Boole'sche Algebren, Schaltalgebra. Verknüpfungen der mathematischen Logik
Boole'sche Algebr Binäre Funktionen, Boole'sche Algebren, Schltlgebr Inhltsübersicht Verknüpfungen der mthemtischen Logik Boole sche Algebren Grundelemente der Schltlgebr Regeln der Schltlgebr Normlformen
Mehr