Fachgebiet RechnerSysteme

1. bung Logischer Entwurf - WS 2002/2003

Technische Universitt
Darmstadt
1
-
1
1. bung Logischer Entwurf 1
26 Gleichungen -
viel zum auswendig
lernen?
Probleme bereiten meist nur
einige wenige

Elementare Gleichungen
der booleschen Algebra
1. bung Logischer Entwurf 2
(T1) x + 0 = x (T1') x 1 = x Identitt
(T2) x + 1 = 1 (T2') x 0 = 0 Eins/Null-Element
(T3) x + x = x (T3') x x = x Idempotenz
(T4) x = x (T4') 1 = 0 Involution
(T5) x + x = 1 (T5') x x = 0 Komplement
(T6) x + y = y + x (T6') x y = y x Kommutativitt
(T7) (x + y) + z = x + (y + z) = x + y + z Assoziativitt
(T7') (x y) z = x (y z) = x y z
(T8) xy + xz = x(y + z) Distributivitt
(T8') (x + y)(x + z) = x + yz
1. bung Logischer Entwurf 3
(T9) (x + y) = x y (T9') (x y) = x + y De Morgan'scher
Satz
(T10) (x
1
+...+ x
n
)= x
1
... x
n
generalisierter
De Morgan'scher
(T10') (x
1
... x
n
)= x
1
+...+ x
n
Satz
(T11) x + xy = x + y (T11') x(x + y) = xy
Absorption
(T12) x + xy = x (T12') x(x + y) = x
(T13) xy + xz + yz = xy + xz
Konsensus
(T13') (x + y)(x + z)(y + z) = (x + y)(x + z)
1. bung Logischer Entwurf 4
1. Aufgabe
1. Aufgabe
Ersetzen Sie in den folgenden Termen die Variable x jeweils
durch die Konstanten 0 bzw. 1 und bringen Sie die Terme
durch algebraische Umformung anschlieend in eine
mglichst einfache Form.
x x a +
x x a +
( ) a x a y x b + + +
(a)
(b)
(c)
Fachgebiet RechnerSysteme
1. bung Logischer Entwurf - WS 2002/2003
Technische Universitt
Darmstadt
1
-
2
1. bung Logischer Entwurf 5 1. Aufgabe
( )
( ) a a x f
a a x f
x x a f
= + = =
= + = + = =
+ =
1 1 1
1 1 0 0 0 0
(a)
1. bung Logischer Entwurf 6 1. Aufgabe
( )
( ) a a x f
a a x f
x x a f
= + = =
= + = + = =
+ =
0 0 0
1 1 0 1 1 1
(b) analog zu Aufgabenteil (a)
1. bung Logischer Entwurf 7 1. Aufgabe
( )
( ) ( )
( ) ( ) a y a y a a y b x f
y b a a y b
a a y b x f
a x a y x b f
+ = + = + + + = =
= + = + + =
+ + + = =
+ + + =
1 1 1 1
1 1
0 0 0
(c)
1. bung Logischer Entwurf 8
2. Aufgabe
2. Aufgabe
(a) Leiten Sie die Konsensus-Gleichung T13 aus den
anderen Gleichungen durch algebraische
Umformungen ab.
(b) berzeugen Sie sich durch Aufstellen der
Funktionstabellen fr die Ausdrcke auf der linken
und rechten Seite von T13, dass die Gleichheit
tatschlich gilt.
Fachgebiet RechnerSysteme
1. bung Logischer Entwurf - WS 2002/2003
Technische Universitt
Darmstadt
1
-
3
1. bung Logischer Entwurf 9 2. Aufgabe
(T1) Identitt
(T5) Komplement
(T8) Distributivitt
(T6) Kommutativitt
(T6) Kommutativitt
(T7) Assoziativitt
(T8) Distributivitt
(T12) Absorbtion
z x y x
z y z x z y y x
z y x z x z y x y x
z y x z x z y x y x
z y x z y x z x y x
x z y x z y z x y x
x x z y z x y x
z y z x y x
z y z x y x
+ =
= + + + =
= + + + =
= + + + =
= + + + =
= + + + =
= + + + =
= + + =
= + +
) ( ) (
) ( ) (
) (
1
(a)
1. bung Logischer Entwurf 10 2. Aufgabe
(b)
z y z x y x + + x y z
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
z x y x + x y z
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
0
1
0
1
0
0
1
1
0
1
0
1
0
0
1
1
1. bung Logischer Entwurf 11 2. Aufgabe
Weitere Lsungsmglichkeit ber Veitch-Diagramme:
0
0 0
0
1 1
1 1
z
x
y
0
0 0
0
1 1
1 1
z
x
y
z y z x y x + + z x y x +
1. bung Logischer Entwurf 12
Zeichnen Sie die folgenden Produkt- und Summenterme
(a) in jeweils ein Veitch-Diagramm von vier Variablen a, b, c
und d:
(b) in jeweils ein Veitch-Diagramm von fnf Variablen a, b, c, d
und e:
3. Aufgabe
3. Aufgabe
a b c d a b
a b a b d
a a b c d
+
+ +
+ + +
e d c b a d c
d c b a d c a
d c a e d c a
d a e d c b a
+ + + +
+ + +
+ +
+
Fachgebiet RechnerSysteme
1. bung Logischer Entwurf - WS 2002/2003
Technische Universitt
Darmstadt
1
-
4
1. bung Logischer Entwurf 13 3. Aufgabe
d
c
a
b
0000 0100 1100 1000
0001 0101 1101 1001
0011 0111 1111 1011
0010 0110 1110 1010
Veitch-Diagramm in vier Variablen { d, c, b, a }
d
c
a
b
0 4 12 8
1 5 13 9
3 7 15 11
2 6 14 10
1. bung Logischer Entwurf 14 3. Aufgabe
c
b
d
a
0000 0010 0110 0100
1000 1010 1110 1100
1001 1011 1111 1101
0001 0011 0111 0101
Die Anordnung der Variablen im Veitch-Diagramm ist frei.
z. B. auch mglich:
Belegung der Felder ndert sich, aber kein Einfluss auf die
Nachbarschaftsbeziehungen der Felder
c
b
d
a
0 2 6 4
8 10 14 12
9 11 15 13
1 3 7 5
1. bung Logischer Entwurf 15 3. Aufgabe
c
b
24 28 20 16
25 29 21 17
27 31 23 19
26 30 22 18
d
c
a
e
0 4 12 8
1 5 13 9
3 7 15 11
2 6 14 10
Veitch-Diagramm in fnf Variablen { e, d, c, b, a }
1. bung Logischer Entwurf 16 3. Aufgabe
In Produkttermen fhrt jedes weitere Literal zu einer
Einschrnkung, d.h. im Veitch-Diagramm werden
weniger Felder mit Einsen belegt.
In Summentermen ist es genau umgekehrt: je mehr
Literale desto grer ist der durch den Term im Veitch-
Diagramm beschriebene Bereich
Produktterm Summenterm
a b c d a b c d + + +
Fachgebiet RechnerSysteme
1. bung Logischer Entwurf - WS 2002/2003
Technische Universitt
Darmstadt
1
-
5
1. bung Logischer Entwurf 17 3. Aufgabe
a b c d
a b
a

a
c
b
d
(a1) Produktterm in 4 Variablen
1. bung Logischer Entwurf 18 3. Aufgabe
a b c d
a b
a

a
0 0 0 0
0 0 0 0
0 0 0 0
0 0 0 1
c
b
d
(a1) Produktterm in 4 Variablen
1. bung Logischer Entwurf 19 3. Aufgabe
a
0 0 0 0
0 0 0 0
0 0 0 0
1 1 1 1
c
b
d
a b c d
a b
a

(a1) Produktterm in 4 Variablen

1. bung Logischer Entwurf 20 3. Aufgabe
a b c d
a b
a

(a1) Produktterm in 4 Variablen

a
1 1 1 1
0 0 0 0
0 0 0 0
1 1 1 1
b
d
c
Fachgebiet RechnerSysteme
1. bung Logischer Entwurf - WS 2002/2003
Technische Universitt
Darmstadt
1
-
6
1. bung Logischer Entwurf 21 3. Aufgabe
(a2) Summenterm in 4 Variablen
a
b
d
c
a b
a b d
a b c d
+
+ +
+ + +
1. bung Logischer Entwurf 22 3. Aufgabe
(a2) Summenterm in 4 Variablen
a
1 1 1 1
0 0 0 0
1 1 1 1
1 1 1 1
b
d
c
a b
a b d
a b c d
+
+ +
+ + +

1. bung Logischer Entwurf 23 3. Aufgabe

(a2) Summenterm in 4 Variablen
a
1 1 1 1
0 0 1 1
1 1 1 1
1 1 1 1
b
d
c
a b
a b d
a b c d
+
+ +
+ + +

1. bung Logischer Entwurf 24 3. Aufgabe
(a2) Summenterm in 4 Variablen
a
1 1 1 1
1 0 1 1
1 1 1 1
1 1 1 1
b
d
c
a b
a b d
a b c d
+
+ +
+ + +

Fachgebiet RechnerSysteme
1. bung Logischer Entwurf - WS 2002/2003
Technische Universitt
Darmstadt
1
-
7
1. bung Logischer Entwurf 25 3. Aufgabe
c
b
d
c
a
e
d c
d c a
e d c a
e d c b a

(b1) Produktterm in 5 Variablen
1. bung Logischer Entwurf 26 3. Aufgabe
c
b
0 0 0 0
0 0 0 0
0 0 0 0
0 0 0 0
d
c
a
e
1 0 0 0
0 0 0 0
0 0 0 0
0 0 0 0
d c
d c a
e d c a
e d c b a

(b1) Produktterm in 5 Variablen
1. bung Logischer Entwurf 27
1 0 0 0
0 0 0 0
0 0 0 0
1 0 0 0
d c
d c a
e d c a
e d c b a

3. Aufgabe
c
b
0 0 0 0
0 0 0 0
0 0 0 0
0 0 0 0
d
c
a
e
(b1) Produktterm in 5 Variablen
1. bung Logischer Entwurf 28
d c
d c a
e d c a
e d c b a

3. Aufgabe
1 0 0 0
0 0 0 0
0 0 0 0
1 0 0 0
c
0 0 0 1
0 0 0 0
0 0 0 0
0 0 0 1
d
c
a
e
(b1) Produktterm in 5 Variablen
b
Fachgebiet RechnerSysteme
1. bung Logischer Entwurf - WS 2002/2003
Technische Universitt
Darmstadt
1
-
8
1. bung Logischer Entwurf 29
d c
d c a
e d c a
e d c b a

3. Aufgabe
1 0 0 0
1 0 0 0
1 0 0 0
1 0 0 0
c
0 0 0 1
0 0 0 1
0 0 0 1
0 0 0 1
d
c
a
e
(b1) Produktterm in 5 Variablen
b
1. bung Logischer Entwurf 30 3. Aufgabe
c
d
c
a
e
(b2) Summenterm in 5 Variablen
b
e d c b a
d c b a
d c a
d a
+ + + +
+ + +
+ +
+
1. bung Logischer Entwurf 31 3. Aufgabe
1 1 1 1
1 1 0 0
1 1 0 0
1 1 1 1
c
1 1 1 1
0 0 1 1
0 0 1 1
1 1 1 1
d
c
a
e
(b2) Summenterm in 5 Variablen
b
e d c b a
d c b a
d c a
d a
+ + + +
+ + +
+ +
+
1. bung Logischer Entwurf 32 3. Aufgabe
c
d
c
a
e
(b2) Summenterm in 5 Variablen
b
e d c b a
d c b a
d c a
d a
+ + + +
+ + +
+ +
+
1 1 1 1
1 1 1 0
1 1 1 0
1 1 1 1
1 1 1 1
0 1 1 1
0 1 1 1
1 1 1 1
Fachgebiet RechnerSysteme
1. bung Logischer Entwurf - WS 2002/2003
Technische Universitt
Darmstadt
1
-
9
1. bung Logischer Entwurf 33 3. Aufgabe
c
d
c
a
e
(b2) Summenterm in 5 Variablen
b
e d c b a
d c b a
d c a
d a
+ + + +
+ + +
+ +
+
1 1 1 1
1 1 1 0
1 1 1 1
1 1 1 1
1 1 1 1
0 1 1 1
1 1 1 1
1 1 1 1
1. bung Logischer Entwurf 34 3. Aufgabe
c
d
c
a
e
(b2) Summenterm in 5 Variablen
b
e d c b a
d c b a
d c a
d a
+ + + +
+ + +
+ +
+
1 1 1 1
1 1 1 0
1 1 1 1
1 1 1 1
1 1 1 1
1 1 1 1
1 1 1 1
1 1 1 1