You are on page 1of 9

Fachgebiet RechnerSysteme

1. Übung Logischer Entwurf - WS 2002/2003
Technische Universität
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 Identität
(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 Kommutativität
(T7) (x + y) + z = x + (y + z) = x + y + z Assoziativität
(T7') (x • y) • z = x • (y • z) = x • y • z
(T8) x•y + x•z = x•(y + z) Distributivität
(T8') (x + y)•(x + z) = x + y•z
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 + x•y = x + y (T11') x•(x + y) = x•y
Absorption
(T12) x + x•y = x (T12') x•(x + y) = x
(T13) x•y + x•z + y•z = x•y + x•z
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 anschließend in eine
möglichst 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 Universität
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 für die Ausdrücke auf der linken
und rechten Seite von T13, dass die Gleichheit
tatsächlich gilt.
Fachgebiet RechnerSysteme
1. Übung Logischer Entwurf - WS 2002/2003
Technische Universität
Darmstadt
1
-
3
1. Übung – Logischer Entwurf 9 2. Aufgabe
(T1’) Identität
(T5) Komplement
(T8) Distributivität
(T6’) Kommutativität
(T6) Kommutativität
(T7) Assoziativität
(T8) Distributivität
(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 Lösungsmöglichkeit ü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 fünf 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 Universität
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 möglich:
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 fünf Variablen { e, d, c, b, a }
1. Übung – Logischer Entwurf 16 3. Aufgabe
In Produkttermen führt jedes weitere Literal zu einer
Einschränkung, d.h. im Veitch-Diagramm werden
weniger Felder mit Einsen belegt.
In Summentermen ist es genau umgekehrt: je mehr
Literale desto größer 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 Universität
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 Universität
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 Universität
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 Universität
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 Universität
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