Sie sind auf Seite 1von 84

Einfhrung in die Technische Informatik

2. Schaltnetze
2.1 Boolesche Algebra und Schaltalgebra

Gliederung der Vorlesung


1.

Einfhrung

2.

Schaltnetze
1.
Boolesche Algebra
2.
Schaltalgebra
3.
Schaltfunktionen
4.
Analyse von Schaltnetzen
5.
Synthese von Schaltnetzen
6.
Code-Umsetzer
7.
Addierglieder
8.
Komparatoren
9.
Multiplexer
10. Arithmetik-Logik-Einheit
11. Schaltnetze mit progr.
Bausteinen
12. Laufzeiteffekte in
Schaltnetzen
2 | Oliver Bringmann, Andreas Zell

3. Speicherglieder
1. Funktionsprinzip
2. RAM-Speicherzellen
3. RS-Kippglied
4. RS-Kippglied mit
Zustandssteuerung
5. D-Kippglied
6. RS-Kippglied
7. JK-Master-Slave-Kippgl.
8. Kippglieder mit
Taktflankensteuerung

2016 Universitt Tbingen

Gliederung (Fortsetzung)
4. Schaltwerke
1. Automaten
2. Funktionelle Beschreib. von
Schaltwerken
3. Analyse von Schaltw.
4. Synthese von Schaltw.
5. Realisierung von Schaltw.
6. Vom Addierer zum
Prozessor

3 | Oliver Bringmann, Andreas Zell

5. Entwurf auf RegisterTransfer-Ebene


1. Datenpfad
2. Steuerwerk
3. Speicher

2016 Universitt Tbingen

Gliederung der Vorlesung


6. Grundlagen der
Elektrotechnik
1. Historischer berblick
2. Elektrische Ladungen und
elektrisches Feld
3. Gleichstromkreis
4. Elektromagnetisches Feld
5. Wechselstromkreis
6. Schaltvorgnge
7. Halbleiterbauelemente
1. Halbleiterphysik
2. Halbleiterdioden
3. Bipolartransistoren
4. Feldeffekttransistoren
4 | Oliver Bringmann, Andreas Zell

8.

Elektronische
Verknpfungsglieder
1.
Elektronische Schalter
2.
TTL-Schaltkreise
3.
PMOS Schaltkreise
4.
NMOS Schaltkreise
5.
CMOS Schaltkreise

9.

Integrierte Schaltungen
1.
Schaltungsentwurf
1.
2.
3.
4.

2.

Entwurfsebenen
Darstellung
Werkzeuge u. Entwurfsschritte
ASICs

Herstellung
1.
2.
3.
4.

Wafer-Herstellung
Masken-Herstellung
Scheibenprozesse
Test u. Montage
2016 Universitt Tbingen

Formale Grundlagen: Boolesche Algebra


Zur Untersuchung und Beschreibung der Eigenschaften und des
Verhaltens von logischen Funktionen ist die Boolesche Algebra
hervorragend geeignet.
Entwickelt wurde sie von dem Mathematiker George Boole (1815
1864) als Algebra der Logik.

5 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Boolesche Algebra
Definition 2.1:
Als eine Boolesche Algebra bezeichnet man eine Menge
= {, , , }, auf der zwei zweistellige Operationen und
derart definiert sind, dass durch ihre Anwendung auf Elemente
aus wieder Elemente aus entstehen (Abgeschlossenheit).

H0. Abgeschlossenheit: Fr alle , gilt:




Weiterhin mssen die vier Huntingtonschen Axiome gelten.

6 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Huntingtonsche Axiome
H1. Kommutativgesetze
=
=

(K1)
(K2)

H2. Distributivgesetze
( ) = ( ) ( )
( ) = ( ) ( )

(D1)
(D2)

H3. Neutrale Elemente


Es existieren zwei Elemente , , so dass gilt:
= ( wird Einselement genannt)
= (n wird Nullelement genannt)

(N1)
(N2)

H4. Inverse Elemente


Fr alle existiert ein Element , so dass gilt:
=
=
7 | Oliver Bringmann, Andreas Zell

(I1)
(I2)
2016 Universitt Tbingen

Beispiel: Mengenalgebra
Die Zuordnung von Elementen der Mengenalgebra zu Symbolen der
axiomatischen Definition einer Booleschen Algebra erfolgt nach
folgender Korrespondenztabelle:
Boolesche Algebra

Mengenalgebra
(T)

Potenzmenge einer Grundmenge


Vereinigung
Durchschnitt
Leere Menge
Grundmenge
Komplementrmenge von A: (T\A)

Veranschaulichung der Operatoren durch Venn-Diagramme:

8 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Beispiel: Mengenalgebra
Grundmenge: = {, , }
Potenzmenge:
() = {, {}, {}, {}, {, }, {, }, {, }, }
Mengenoperatoren:
mit z.B. = {, } und = {, } ergibt sich:
= {, , }
= {}
Wegen () und () fr alle , ()
ist die Abgeschlossenheit erfllt.

9 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Beispiel
Die Huntingtonschen Axiome lassen sich wie folgt bertragen:

H1.

=
=

(K1)
(K2)

H2.

( ) = ( ) ( )
( ) = ( ) ( )

(D1)
(D2)

H3.

=
=

(N1)
(N2)

H4.

=
=

(I1)
(I2)

10 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Grafischer Nachweis zu Distributivgesetz (D1)


( )

( ) ( )

11 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Schaltalgebra
Die Schaltalgebra ist eine spezielle Boolesche Algebra, die durch
folgende Korrespondenztabelle definiert wird:
Boolesche Algebra

Schaltalgebra

{0,1}

0
1

Schreibweisen: + fr
& fr

fr
12 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Schaltalgebra
Die Verknpfungen knnen leicht in Funktionstabellen dargestellt
werden:
=

Konjunktion
(AND)

13 | Oliver Bringmann, Andreas Zell

Disjunktion
(OR)

Negation
(NOT)

2016 Universitt Tbingen

Schaltalgebra
Huntingtonsche Axiome in der Schaltalgebra:

H1.

a b = b a
=

(K1)
(K2)

H2.

( ) = ( ) ( )
( ) = ( ) ( )

(D1)
(D2)

H3.

0 =
1 =

(N1)
(N2)

H4.

= 0
= 1

(I1)
(I2)

14 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Schaltalgebra
Aus den vier Huntingtonschen Axiomen lassen sich weitere Stze
ableiten:
Assoziativgesetze:
( ) = ( )
(A1)
( ) = ( )
(A2)
Idempotenzgesetze:

=
=

Absorptionsgesetze: ( ) =
( ) =

De Morgan-Gesetze:

15 | Oliver Bringmann, Andreas Zell

=
=

(ID1)
(ID2)
(AS1)
(AS2)

(DM1)
(DM2)

2016 Universitt Tbingen

Beweis: Absorptionsgesetz AS2


Zu zeigen: ( ) =

( )
= 1 ( )
= (1 )
= 1
=1
=

16 | Oliver Bringmann, Andreas Zell

(N2)
(D1)
(K1)
( 1 = 1)
(N2)

2016 Universitt Tbingen

Beweis De Morgan: =
Beweisansatz: ( ) ist das Komplementrelement von ( )
Zu zeigen:
Komplementrgesetze ( = 1) und ( = 0) sind erfllt
Mit = und = gilt:
= ( ) = ( ) ( )
= ( )
= ( 1 ) ( 1 ) = 1 1 = 1
= ( ) = ( ) ( )
= ( ) ( )
= ( 0 ) ( 0) = 0 0 = 0

17 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Boolescher Ausdruck
Ein Boolescher Ausdruck ist eine Zeichenfolge, die aus binren
Variablen, den Operatoren und und Klammern besteht und
syntaktische Regeln erfllt, die durch folgendes Syntaxdiagramm
gegeben sind:

18 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Boolescher Ausdruck
Beispiele:
Syntaktisch korrekte Boolesche Ausdrcke:
, , ( )
Keine Booleschen Ausdrcke, da syntaktisch nicht korrekt:
,
, ( )
Fr die Konstanten 0 und 1 verwendet man in der Schaltalgebra
manchmal auch in Anlehnung an die Aussagenalgebra die
Bezeichnung Wahrheitswerte:
0 : falsch
1 : wahr
Ein Boolescher Ausdruck hat in der Regel zunchst keinen
Wahrheitswert, da er binre Variable enthalten kann.
Erst durch Belegung der binren Variablen mit Wahrheitswerten
erhlt der Boolesche Ausdruck einen Wahrheitswert.
19 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Definitionen
Die Belegung einer Menge von binren Variablen eines Booleschen
Ausdrucks mit Wahrheitswerten und die damit verbundene
Bestimmung des Booleschen Ausdrucks wird als Evaluation
bezeichnet.
Die Evaluation eines Booleschen Ausdrucks liefert eine Aussage, die
entweder wahr oder falsch ist.
Verschiedene Variablenbelegungen eines Booleschen Ausdrucks
knnen zu dem selben Wahrheitswert fhren.
Ein Boolescher Ausdruck, bei dem alle mglichen
Variablenbelegungen zum Wahrheitswert wahr fhren, heit
Tautologie.
Beispiel: ist eine Tautologie.

20 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Boolesche Funktionen oder Schaltfunktionen


Gegeben: Tupel von binren Variablen (1, 2, , )

Definition:
Eine (n-stellige) Boolesche Funktion ordnet jeder mglichen
Wahrheitswertbelegung dieser Variablen genau einen
Wahrheitswert zu:
{0,1} {0,1}
Man schreibt: = (1, 2, , )
Wie viele Belegungen gibt es?
2 Belegungen
Wie viele verschiedene n-stellige Funktionen gibt es?

2 2 Funktionen
21 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Beispiele
Negation: eine einstellige Boolesche Funktion
{0,1} {0,1}
die jedem Operanden aus dem Definitionsbereich {0,1} einen
Funktionswert aus dem Wertebereich {0,1} zuordnet.
und : zweistellige Boolesche Funktionen:
{0,1} {0,1} {0,1}

22 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Darstellung Boolescher Funktionen


durch eine Funktionstabelle
durch einen algebraischen Ausdruck (symbolische Form)
Beispiel:

Funktionstabelle

23 | Oliver Bringmann, Andreas Zell

symbolische Form
(, ) =

2016 Universitt Tbingen

Weitere bekannte
Boolesche Funktionen
=

Implikation

quivalenz

NAND

Inverse
Implikation
24 | Oliver Bringmann, Andreas Zell

Antivalenz
(XOR)

NOR
2016 Universitt Tbingen

16 mgliche zweistellige
Boolesche Funktionen

konstant 0

und

Konjunktion

nicht ,aber

Inhibition

identisch

nicht ,aber

identisch

ungleich

Antivalenz (XOR)

oder

Disjunktion

nicht ( oder )

NOR-Funktion

gleich

quivalenz

nicht

wenn ,dann

nicht

wenn ,dann

Implikation

nicht ( und )

NAND-Funktion

konstant 1

25 | Oliver Bringmann, Andreas Zell

verbale Form

symbolische

Bezeichnung

Darstellung

Kontradiktion

Identitt
Inhibition
Identitt

Negation
Implikation
Negation

Tautologie
2016 Universitt Tbingen

Darstellungsformen von
Booleschen Funktionen
Beispiel: dreistellige Parittsfunktion
(Parittsbit beschreibt die ungerade Anzahl gesetzter Bits)
Formeldarstellung:
= 3 2 1 3 2 1 3 2 1 3 2 1

Darstellung als Wahrheitstabelle


26 | Oliver Bringmann, Andreas Zell

Darstellung als binres


Entscheidungsdiagramm
2016 Universitt Tbingen

Boolesche Funktionen
Wie kommt man von der symbolischen Darstellung zur
Funktionstabelle?
Durch rekursive Auswertung des symbolischen Ausdrucks
Konvention:
Negation vor Konjunktion
Konjunktion vor Disjunktion
Durch Klammern kann eine andere Reihenfolge der Auswertung
festgelegt werden

27 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Vollstndige Operatorensysteme
Definition:
Ein System von Operatoren, mit dem alle booleschen Funktionen
dargestellt werden knnen, heit vollstndiges Operatorensystem.
Die Operatoren (, , ) bilden ein vollstndiges Operatorensystem.

Beispiel:
liefert das gleiche Ergebnis wie ( ) ( ).
lsst sich durch die Grundoperationen , und ersetzen

28 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Vollstndige Operatorensysteme

29 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Nachweis: vollstndiges Operatorensystem


Bsp.: (NAND) vollstndiges Operatorensystem
Ansatz: Reduktion der Elementaroperatoren (, , ) auf

=
=

=
=
=

Weitere Nachweise (z.B. NOR) siehe bungsblatt

30 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Vertiefung: Tautologie
Wann reprsentieren zwei Ausdrcke und dieselbe Boolesche
Funktion?
Gleichbedeutend: Ist eine Tautologie?
Gegeben seien zwei Boolesche Funktionen:
1 (, ) = ( ) ( )
2 (, ) = ( ) ( )
Ist 1 identisch mit 2
oder
Ist ( ) ( ) ( ) ( ) eine Tautologie?

31 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Vertiefung: Tautologie
Beweis mit Hilfe von Funktionstabellen oder mittels Umformungen
von Ausdrcken unter Verwendung der algebraischen Gesetze.

Zwei Ausdrcke sind quivalent, falls die Ergebnisse ihrer


Auswertung fr alle mglichen Kombinationen von
Variablenbelegungen identisch sind.

32 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Vertiefung: Tautologie
mittels algebraischer Umformung:

( ) ( ) = [ ( ) ] [ ( ) ]
(Distributivgesetz)

= [() ()] [() ()]


(Distributivgesetz)

= [1 ( )] [( ) 1]
(Inverses Element)

= ( ) ( )
(Neutrales Element)

= ( ) ( )
(Kommutativgesetz)

33 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Zusammenfassung
Ziele der Booleschen Algebra: Algebraische Struktur zur Definition
logischer Strukturen, die das menschliche Denken und Handeln
mit Hilfe formaler Methoden przise beschreibt (George Boole)
Schaltalgebra ist eine Boolesche Algebra zur Beschreibung der
Eigenschaften und des Verhaltens von logischen Funktionen
Schaltalgebra bietet zentralen Formalismus zur Beschreibung von
Schaltnetzen
Es gibt 2

-stellige Schaltfunktionen

Vollstndige Operatorensysteme
-

UND, ODER, NICHT


NAND
NOR

34 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Einfhrung in die Technische Informatik


2. Schaltnetze
2.2 Normalformen

Normalformen
Eine Boolesche Funktion kann durch verschiedene boolesche
Ausdrcke beschrieben werden.
Normalformen beschreiben Schaltfunktionen in einer besonders
einfachen Gleichungsform.
Zur Definition von Normalformen sind einige Begriffe hilfreich:

Definitionen:
Ein Literal ist entweder eine Schaltvariable oder ihre
Negation , d.h. ,
Ein Produktterm (1 , , ) ist die Konjunktion von Literalen

=1 = 1 oder von Konstanten "0" oder "1"


Beispiele: ,

Hinweis: Mehrfach auftretende gleiche Literale knnen nach dem
Idempotenzgesetz gestrichen werden
36 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Implikant und Minterm


Definition:
Ein Produktterm (1 , , ) heit Implikant einer Booleschen
Funktion (1 , , ), wenn
Das heit, fr jede Belegung 0,1
ist auch () = 1

gilt: Wenn () = 1, dann

Definition:
Ein Implikant einer Booleschen Funktion (1 , , ) heit Minterm,
wenn ein Literal jeder Variable der Funktion im Implikanten
genau einmal vorkommt.

37 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Minterme
Minterme einer Booleschen Funktion (1 , , 4 ):
1 2 3 4
1 2 3 4
1 2 3 4
1 2 3 4
Keine Minterme der Booleschen Funktion (1 , , 4 ):
1 2
1 2
nicht alle Variablen
1 2 3 3 4
1 2 3 3 4 3 doppelt

38 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Disjunktive Normalform
Standarddarstellungen Boolescher Funktionen im Operatorensystem
(, , ) sind die disjunktive Normalform (DNF) und die
konjunktive Normalform (KNF).
Definition:
Es sei eine Boolesche Funktion (1 , , ) gegeben. Ein Boolescher
Ausdruck heit disjunktive Normalform (DNF) der Funktion , wenn
er aus einer disjunktiven Verknpfung von Mintermen besteht:
= 0 1 . . ,

2 1

Es darf dabei keine zwei Konjunktionen , mit geben, die


zueinander quivalent sind.
Bei Schaltvariablen gibt es 2 verschiedene Minterme. Jeder Minterm
hat nur bei einer Kombination der Wertetabelle den Wert 1, bei allen
anderen Kombinationen den Wert 0.
39 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Disjunktive Normalform
Beispiele:
, , =

ist in DNF.
, , = ( )

ist nicht in DNF, denn:


enthlt nicht alle Variablen
und sind quivalent
( ) ist keine reine Konjunktion

40 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Disjunktive Normalform
Aufgabe: Ist
, , =
in DNF?
Welche Produktterme sind Minterme?
DNF? Nein, denn:
enthlt nicht alle Variable, ist kein Minterm
und sind quivalent
ist kein Minterm

41 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Implikat und Maxterm


Definition:
Es sei (1 , , ) eine Disjunktion von Literalen

=1 = 1 oder die Konstante "0" oder "1"


Der Term (1 , , ) heit Implikat einer Booleschen Funktion
(1 , , ), wenn gilt.
Das heit, fr jede Belegung 0,1 gilt:
Wenn () = 0, dann ist auch () = 0.

Definition:
Ein Implikat einer Booleschen Funktion (1 , , ) heit Maxterm, wenn
ein Literal jeder Variable der Funktion im Implikaten genau einmal
vorkommt.
Maxterm-Beispiele fr die Booleschen Funktion (1 , , 3 ):
1 2 3
1 2 3
42 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Konjunktive Normalform
Definition:
Es sei eine Boolesche Funktion (1 , , ) gegeben.
Ein Boolescher Ausdruck heit konjunktive Normalform (KNF) der
Funktion , wenn er aus einer konjunktiven Verknpfung von
Maxtermen besteht:
= 0 1 . . ,

2 1

Es darf dabei keine zwei Disjunktionen , mit geben, die


zueinander quivalent sind.
Hinweis: Jede Schaltfunktion ist sowohl in der disjunktiven als auch in
der konjunktiven Normalform darstellbar. Beide Darstellungen sind
quivalent (Dualittsprinzip).

43 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Beispiel: DNF und KNF

Minterme

Maxterme

DNF: = ( ) ( ) ( ) ()
KNF: = ( ) ( ) ( ) ( )

44 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Deutung: Normalformen
Jeder Minterm einer DNF entspricht einer Zeile in der
Funktionstabelle, die den Funktionswert 1 liefert.
Jeder Maxterm einer KNF entspricht einer Zeile in der
Funktionstabelle, die den Funktionswert 0 liefert.
Herkunft der Bezeichnungen
Funktionen aus genau einem Minterm liefern fr genau eine
Belegung den Funktionswert 1, d.h. abgesehen von der trivialen
Nullfunktion haben sie eine minimale Anzahl an Einsen.
Entsprechend liefern Funktionen aus nur einem Maxterm fr
genau eine Belegung als Ergebnis 0, d.h. sie haben abgesehen
von der Einsfunktion die maximale Anzahl an Einsen.

45 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

DNF oder KNF aus der Funktionstabelle


DNF:
Aus der Funktionstabelle einer Funktion erhlt man die Minterme,
indem man in allen Zeilen mit dem Funktionswert 1 jeweils alle
Eingangsvariablen mit verknpft und dabei Eingangsvariablen mit
dem Wert 0 negiert. Durch die disjunktive Verknpfung dieser
Minterme kann ein Boolescher Funktionsausdruck in DNF hergeleitet
werden.
KNF:
Aus der Funktionstabelle einer Funktion erhlt man die Maxterme,
indem man in allen Zeilen mit dem Funktionswert 0 jeweils alle
Eingangsvariablen mit verknpft und dabei Eingangsvariablen mit
dem Wert 1 negiert. Durch die konjunktive Verknpfung dieser
Maxterme kann ein Boolescher Funktionsausdruck in KNF hergeleitet
werden.
46 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Unvollstndig definierte Funktionen


Nicht immer sind Schaltfunktionen
vollstndig ausdekodiert.

Es existieren Flle, bei denen


nicht fr jede Kombination von
Eingangsvariablen ein Wert der
Ausgangsvariablen definiert ist.

Ist der Wert der Ausgangsvariable


egal, d.h. kann 0 oder 1 betragen,
spricht man von einem
Dont care-Term (*)

47 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Zusammenfassung
Normalformen beschreiben Schaltfunktionen in einer eindeutigen,
besonders einfachen Gleichungsform

Disjunktive Normalform (DNF): disjunktiven Verknpfung von


Mintermen (berdeckung der Einsmenge)
Konjunktive Normalform (KNF): konjunktiven Verknpfung von
Maxtermen (berdeckung der Nullmenge)
Achtung: DNF und KNF sind zwar eindeutig aber nicht minimal

48 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Einfhrung in die Technische Informatik


2. Schaltnetze
2.3 Minimierung

Minimierung von Schaltfunktionen


Angabe der Schaltfunktion oft redundant
- Funktionstabelle
- Normalform
Gesucht: quivalente minimale Funktionsgleichung
- Kurze Ausdrcke
- Mglichst geringe Zahl von Variablen und Verknpfungen
Beispiel:
= (3 2 1 ) (3 2 1 ) (3 2 1 ) (3 2 1 )
= 3 2 1 2 1 [3 2 1 2 1 ]
= 3 1 (2 2 ) [3 1 (2 2 ) ]
= 3 1 1 [3 1 1 ]
= (3 1 ) (3 1 )
50 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Disjunktive Minimalform (DMF)


Disjunktion von Konjunktionstermen mit
minimal mglicher Anzahl von Konjunktionstermen
minimal mglicher Anzahl von Variablen pro Konjunktionsterm
(negiert oder nicht negiert)
Beispiel:
1 = ( ) ( ) ist DMF
2 = ( ) ( ) ist nicht DMF
2 = , da = a = 1 =

51 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Konjunktive Minimalform (KMF)


Konjunktion von Disjunktionstermen mit
minimal mglicher Anzahl von Disjunktionstermen
minimal mglicher Anzahl von Variablen pro Disjunktionsterm
(negiert oder nicht negiert)
Beispiel:
1 = ( ) ( ) ist KMF
2 = ( ) ( ) ist nicht KMF
2 = , da = a = 0 =

52 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Minimierung von Schaltfunktionen


Grundlagen
Verschiedene Verfahren, z.B.
- Gesetze der Schaltalgebra
- KV-Diagramme
- Methode von Quine-McCluskey
Grundlage aller Verfahren zur Minimierung ist das Komplementrgesetz
- 1 1 = 0
- 1 1 = 1
Unterschiedliche Schreibweisen:
1 = ( ) ( )
1 = ( ) ( )
1 =
1 = +

53 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Karnaugh/Veitch-Diagramme
(KV-Diagramme)

Funktionstabelle

Spezielle graphische Darstellung einer Wertetabelle bzw.


Schaltfunktion
Matrixanordnung gem Anzahl von Eingangsvariablen
- Eingangsvariablen 2 Felder
Einsatz zur Minimierung von Schaltfunktionen sowie
bertragung einer Funktionstabelle in Funktionsgleichung
3

54 | Oliver Bringmann, Andreas Zell

2 1

2 1

2 1

2 1

00

01

11

10

KV-Diagramm

2016 Universitt Tbingen

KV-Diagramme: Konstruktion
Zuordnung von Feldern zu Kombinationen der
Eingangsvariablen
- Bei bergang von einem Feld zum nchsten ndert sich der
Wert nur einer Variable (Gray-Code)
- Anfangs- und Endfeld sind benachbart (Toruseigenschaft der
Matrix)
Markierung der Variablen am Matrixrand
bertragen der Funktionswerte in Matrix
Schaltfunktion in DNF Matrix enthlt Minterme
Schaltfunktion in KNF Matrix enthlt Maxterme
Zuordnung von Min-/Maxtermen zu Feldern gem Gray-Code

55 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

KV-Diagramme: Schaltfunktion in DNF


Beispiel aus algebraischer Umformung
= 3 2 1 3 2 1 3 2 1 3 2 1
= (3 1 ) (3 1 )
Zuordnung der Matrix-Felder
- Mintermen-entsprechende Felder erhalten Wert 1
- alle anderen 0
2 1

2 1

2 1

2 1

00

01

11

10

56 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Begriffe
Gegeben seien zwei Belegungen der Variablen 1 , , . Eine
Variable heit gebunden, falls sie in beiden Belegungen den
gleichen Wert besitzt.
Ist die Variable unterschiedlich belegt, so wird sie als frei
bezeichnet.
Zwei Variablenbelegungen heien benachbart, wenn sie sich in
genau einer freien Variablen unterscheiden.
Folgerung:
Zwei Variablenbelegungen lassen sich genau dann durch einen
einzigen konjunktiv verknpften Term reprsentieren, wenn sie
benachbart sind.
57 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Verfahren mit KV-Diagrammen


DMF als Ziel: Zusammenfassung benachbarter 1-Felder
KMF als Ziel: Zusammenfassung benachbarter 0-Felder
Maximal groe Blcke mit Gre 2
- Zusammengefasste Blcke und brige Einzelfelder ergeben
Terme
- Variablen in Termen der zsg. Blcke ndern sich nicht
Zu beachten: KV-Diagramm ist torusfrmig geschlossen
- Obere und untere Zeile sind benachbart
- Linke und rechte Spalte sind benachbart
2 1

2 1

2 1

2 1

2 1

2 1

2 1

2 1

00

01

11

10

00

01

11

10

4 3

00

4 3

00

4 3

01

4 3

01

4 3

11

4 3

11

4 3

10

4 3

10

Vereinfachung in DMF
58 | Oliver Bringmann, Andreas Zell

Vereinfachung in KMF
2016 Universitt Tbingen

Minimierung von Schaltfunktionen


2 1

2 1

2 1

2 1

00

01

11

10

4 3

00

4 3

01

4 3

11

4 3

10

Vereinfachung in DMF
Blockbildung
1. 1 2
2. 1 3 4
3. 1 3
= 1 2 1 3 4 1 3
1
59 | Oliver Bringmann, Andreas Zell

3
2016 Universitt Tbingen

Minimierung von Schaltfunktionen


2 1

2 1

2 1

2 1

00

01

11

10

4 3

00

4 3

01

4 3

11

4 3

10

Blockbildung
1. 1 2 3 4
2. 1 3 4
3. 1 2 4
4. 2 3

Vereinfachung in KMF

= 1 2 3 4 1 3 4 (1 2 4 ) (2 3 )
1
60 | Oliver Bringmann, Andreas Zell

4
2016 Universitt Tbingen

Minimierung von Schaltfunktionen


Primimplikanten
Ein Implikant heit Primimplikant, wenn kein Implikant
existiert, der von impliziert wird.
ist Primimplikant, wenn er einen maximal groen Einsblock
umfasst.

Blcke sind nach Schiffmann/Schmitz formal Implikanten.


Obige Definition gilt fr DMF, fr KMF gilt entsprechendes fr
Disjunktionen und Nullblcke.

61 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Implikanten k-ter Ordnung


Umfassen 2k Felder des KV-Diagramms
0. Ordnung: Minterme (DMF), Maxterme (KMF)
1. Ordnung: Paare aus 2 Implikanten 0. Ordnung
- 2 benachbarte Minterme (DMF)
- 2 benachbarte Maxterme (KMF)
2. Ordnung: Paare aus 2 Implikanten 1. Ordnung
- 4 benachbarte Minterme (DMF)
- 4 benachbarte Maxterme (KMF)
hhere Ordnungen entsprechend

62 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Erzeugung von KV-Diagrammen durch


horizontales und vertikales Spiegeln

63 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Fallbeispiel 1: Erzeugen der DMF (4 Variablen)

c
=

64 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Fallbeispiel 2: Erzeugen der KMF (4 Variablen)

c
= ( ) ( ) ( )

65 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Fallbeispiel 3: Implikanten und Primimplikanten

2 =

4 =

66 | Oliver Bringmann, Andreas Zell

c
5 =

3 =

c
6 =

2016 Universitt Tbingen

1 =

Minimierung von Schaltfunktionen mit


Dont-Care-Belegungen
2 1

2 1

2 1

2 1

00

01

11

10

4 3

00

4 3

01

4 3

11

4 3

10

Vereinfachung in DMF

= 1

67 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Zur Verwendung von KV-Diagrammen


Zur Erzeugung von DMF oft Auslassung von 0-Werten
leere Kstchen reprsentieren 0
KV-Diagramme mit wachsender Anzahl von Schaltvariablen
zunehmend unbersichtlich
- Einsatz blicherweise fr bis zu 4 Variablen
- Eignung fr max. 6 Variablen
Nutzung alternativer Verfahren (Quine-McCluskey)

68 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

KV-Diagramme mit 6 Variablen

Zweidimensionale Darstellung

Dreidimensionale Darstellung

Schwierige Blockbildung bei KV-Diagrammen mit mehr als fnf Variablen


69 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Beispiel fr KV-Diagramm mit 6 Variablen: DMF


a

e
=

70 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Beispiel fr KV-Diagramm mit 6 Variablen: KMF


a

c
e
=
71 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

KV-Diagramm mit 6 Variablen und seine Symmetrien


a

10

11

15

14

13

12

16

31

d
47

63

f
32

48

c
e
Tragen Sie die Minterme mi gem ihrer Dezimalzahl i in die Felder ein!
72 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Verfahren nach Quine/McCluskey


Eignung fr Schaltfunktionen mit vielen Variablen
Voraussetzung: Schaltfunktionen in DNF
- Darstellung der Minterme durch Binrquivalent:
1: Variable, 0: negierte Variable, -: nicht auftretende Variable
Grundstzliche Verfahrensbeschreibung
(1) Aufstellen der Funktionstabelle mit Ordnung nach
Binrquivalenten
(2) bertragung der Minterme in die 1. Quine-Tabelle
(3) (Wiederholtes) Zusammenfassen von Mintermen
benachbarter Gruppen zu Implikanten einer um 1 hheren
Ordnung gem Absorptionsgesetz
(4) Minimierung per 2. Quine-Tabelle

73 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Verfahren nach Quine/McCluskey (1)


Aufstellen der Funktionstabelle

Aufsteigende Ordnung gem


Binrquivalent der Variablen

74 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Verfahren nach Quine/McCluskey (2)


bertragen der Minterme

Durchlaufen der Funktionstabelle


in aufsteigender Ordnung
Gruppenbildung nach Anzahl der
1-Belegungen
Beibehaltung der aufsteigenden
Ordnung innerhalb Gruppe

75 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Verfahren nach Quine/McCluskey (2a)


Verschmelzen der Minterme

Termverschmelzung zwischen
benachbarten Gruppen, wenn nur
eine Belegung (-,0,1) differiert
Mehrfache Verschmelzung eines
Terms mglich

76 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Verfahren nach Quine-McCluskey (2b)


Durchfhrung des zweiten Schrittes, bis keine weitere
Verschmelzung mehr mglich
- Verfahren liefert Primimplikanten nicht weiter verschmelzbare
Terme
- (4 , 3 , 2 , 1 ) = (2, 10) (10, 11) (0, 2, 4, 6) (4, 5, 6, 7)
- (4 , 3 , 2 , 1 ) = (3 2 1 ) (4 3 2 ) (4 1 ) 4 3
Darstellung mit Primimplikanten ist nicht minimal
- Weitere Minimierung ber 2. Quine-Tabelle (Primterm- bzw.
berdeckungstabelle oder Primimplikantentafel)
- Finden der zum berdecken aller Minterme notwendigen
Primimplikanten
Kernprimimplikanten bzw. wesentliche Primimplikanten

77 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Verfahren nach Quine-McCluskey (3)


Minimierung per Primimplikantentafel
Gegenberstellung von Primimplikant (Zeile) und Mintermen
(Spalte)
Markieren der Kreuzungspunkte, wenn PI in Minterm enthalten
Suche der Minterme, die nur in einem PI vorkommen
()

78 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Verfahren nach Quine-McCluskey (3)


Minimierung per Primimplikantentafel
Gegenberstellung von Primimplikant (Zeile) und Mintermen
(Spalte)
Markieren der Kreuzungspunkte, wenn PI in Minterm enthalten
Suche der Minterme, die nur in einem PI vorkommen
()

Auswahl aus den -PI, so dass alle Minterme berdeckt sind


Disjunktion der ausgewhlten PIs liefert DMF der
Schaltfunktion (nicht zwingend eindeutig)
(4 , 3 , 2 , 1 ) = (4 3 2 ) (4 1 ) (4 3 )

79 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Beispiel Quine-McCluskey: Schaltfunktion

80 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Beispiel Quine-McCluskey: Minterme

81 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Beispiel Quine-McCluskey: Implikanten 1. Ordnung

82 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Beispiel QM: Implikanten >1. Ord. & Minimierung

83 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen

Minimierung von Schaltfunktionen (forts.)


Quine-McCluskey: Bewertung
Verfahren grundstzlich gut geeignet fr Funktionen mit
> 4 Variablen
Problem: Schlechte Skalierung
- Anzahl der PI wchst exponentiell mit Anzahl der
Eingabevariablen
3

Beispiel: Eingabevariablen PI
- Bereits ab 15-20 Variablen unakzeptabel hohe Rechenzeiten
und Speicherverbrauch (15-20 Variablen entsprechen kleinen
Logikbausteinen)
- berdeckungsproblem in Schritt 2 ist NP-vollstndig
Groe Minimierungsaufgaben heuristische Methoden
- Keine Garantie einer DMF, aber gute Nherungslsung
- Heute typischerweise genutzte Verfahren z.B. Espresso
-

84 | Oliver Bringmann, Andreas Zell

2016 Universitt Tbingen