Sie sind auf Seite 1von 5

1-3

Fachgebiet RechnerSysteme 3. Übung Logischer Entwurf - WS 2002/2003

Technische Universität Darmstadt

3.

Übung – Logischer Entwurf

1.

Aufgabe

 

1. Aufgabe

 

Geben sei die boolesche Funktion f = ac + ab + ad + a b c

Wie müssen die Variablen b, c und d gewählt werden, damit folgende Aussagen wahr sind. Formulieren Sie diese Wahl als möglichst kleine DNF in den Variablen b, c und d.

(a)

f hat unabhängig von a immer den Wert Eins.

(b)

a kann so gewählt werden, dass f den Wert Eins hat.

(c)

Eine Änderung in der Variablen a bewirkt auch eine Änderung im Ergebnis f.

 

3.

Übung – Logischer Entwurf

 

1.

Aufgabe

 

(a)

f hat unabhängig von a immer den Wert Eins.

 

boolescher Allquantor

(

)

x : f ( x ) = f f

x

x

 

wird immer dann Eins, wenn f unabhängig von x Eins wird

Bestimmung der Kofaktoren:

f

=

ac ab ad

+

+

+

a b c

 

f

a

=

c

+

b

f

=

d b c

+

 

Allquantor:

(

a

:

f ( a , b , c , d

a

)

) =

=

f

a

(

c

+

f a

b

)(

d b c

+

)

 

=

+

cd bd

1 3.

Übung – Logischer Entwurf

 

1.

Aufgabe

3

(b)

a

kann so gewählt werden, dass f den Wert Eins hat.

 

boolescher Existenzquantor

(

)

x : f ( x ) = f + f

x

x

 

wird immer dann Eins, wenn x so gewählt werden kann, dass f Eins wird.

 

Existenzquantor:

(

a

:

f ( a , b , c , d

)

)

=

f

+

f a

 
 

=

(

a

c

+

b

)

+

(

d b c

+

)

 

=

( c + b )
(
c + b
)

+ d +

() c b
()
c
b
 
T5
T5

=

1 + d

 

=

1

Übung – Logischer Entwurf

 

1.

Aufgabe

4

(c)

Eine Änderung in der Variablen a bewirkt auch eine Änderung im Ergebnis f.

 
 

(

f x

)

f

x

f

x

 

boolesche Differenz

 

=

 

x

 

charakterisiert diejenigen Werte, für die eine Änderung von

x

auch eine Änderung von f bewirkt

 

boolesche Differenz:

(

f a b c d

,

,

,

)

 
 

=

f

a

f

a

 

a

 

=

+ ⊕ + b c )

(c b )

(d

 

2 3.

    = f a ⊕ f a   ∂ a   = + ⊕ +

2-3

Fachgebiet RechnerSysteme 3. Übung Logischer Entwurf - WS 2002/2003

3.

Übung – Logischer Entwurf

 

1.

Aufgabe

5

(

f a

a

)

=

=

=

(

c

[(

c

c

[(

)

+ b

(

d + b c

)

+

+

b

b

)(

d + b c

)][(

+

c

+

b

)(

(

)]

d + b c

)]

)( ( ))][

d b

+

c

+

c b d b c

+

 
 

=

[(

c

+

)(

b b d c d

+

)][

b cd + b c

+

]

=

[

bc d c d b d bc d

+

+

+

]

+

b c

 

=

c d b d b c

+

+

=

d

(

b

+

c

)

+

b

c

 

T11

x
x
x
x
y
y

=

b c + d

 

3.

Übung – Logischer Entwurf

2.

Aufgabe

6

 

2. Aufgabe

 

Gegeben sei der folgende OBDD einer Funktion f(a,b,c,d). Bestimmen Sie mit Hilfe des in der Vorlesung gezeigten Bottom-up Verfahrens die boolesche Funktion des OBDD.

f

f 0-Kante 1-Kante c b 0 a c 1 d

0-Kante

1-Kante

c

b

0

a

c

1

d

 
 

Technische Universität Darmstadt

1 d     Technische Universität Darmstadt 3. Übung – Logischer Entwurf 2. Aufgabe 7
3. Übung – Logischer Entwurf 2. Aufgabe 7 Berechnungsvorschrift: f 0-Kante bf v = v
3.
Übung – Logischer Entwurf
2.
Aufgabe
7
Berechnungsvorschrift:
f
0-Kante
bf v = v ar v ⋅ bf v + v ar v ⋅ bf v
()
()
(
)
() ()
0
1
a
1-Kante
u
b
r
= d ⋅ 0
+ d ⋅ 1 = d
s
t
s
= c ⋅ 0 + c ⋅ r = cd
c
c
r
t
= c ⋅ 1 + c ⋅ r = c + cd = c + d
d
u
= b ⋅ s
+ b ⋅ t = bcd + b c + bd
f
=
a u
+
a r
0
1
=
a bcd ab c abd ad
+
+
+

3.

Übung – Logischer Entwurf

 

3.

Aufgabe

8

 

3. Aufgabe

 

Entwickeln Sie für die folgenden Funktionen f, g und h jeweils

 

den reduzierten OBDD. Benutzen Sie die Entwicklungsreihen- folge a, b, c, d bzw. a, b, c, d, e.

 

(a)

f

= a bcd + a b d + abc + a cd

 

(b)

g = abd + ac d + a b c + a bcd

 

(c)

h = a b c + ac d + abd + a b ce + a bcd + ac d e

Welche der drei Funktionen sind identisch?

Fachgebiet RechnerSysteme 3. Übung Logischer Entwurf - WS 2002/2003

3. Übung – Logischer Entwurf 3. Aufgabe 9 Kofaktorzerlegung Entwicklungsreihenfolge beachten Empfehlung:
3.
Übung – Logischer Entwurf
3.
Aufgabe
9
Kofaktorzerlegung
Entwicklungsreihenfolge beachten
Empfehlung: Verknüpfen Sie die Kofaktoren mit Hilfe des
booleschen Entwicklungssatzes wieder zur gesamten
Funktion
OBDD kann dann im Button-up Verfahren erstellt werden
zuerst die Blattkonten 0 und 1 zeichnen, dann die
Entwicklungsreihenfolge rückwärts abarbeiten
auf gleiche Teilbäume achten
manchmal sollte man nach der Konstruktion den OBDD
noch mal neu zeichnen
3.
Übung – Logischer Entwurf
3.
Aufgabe
10
(a)
Kofaktorzerlegung:
f
=
a bcd a b d abc a cd
+
+
+
[
]
[
]
=
a ⋅
bcd
+
a b d bc cd
+
+
[
[
(
)
(
)]
=
a ⋅
b ⋅ cd
(
)
+
b
()]
0
+
a ⋅ b
d
+
cd
+
b ⋅ c + cd
[
(
[
(
()) (
=
a ⋅
b ⋅ c
()0
+
c d
( ))
+
b
(0 )]
+
a ⋅ b
c
(1)
+
c d
+
b c d
(
)
+
c
()1 )]
Zerlegung von d nicht notwendig
3-3

Technische Universität Darmstadt

von d nicht notwendig 3-3 Technische Universität Darmstadt 3. Übung – Logischer Entwurf 3. Aufgabe 11
3. Übung – Logischer Entwurf 3. Aufgabe 11 f = a ⋅[b ⋅(c ⋅(0 )+
3.
Übung – Logischer Entwurf
3.
Aufgabe
11
f
= a ⋅[b ⋅(c ⋅(0 )+ c ⋅(d ))+ b ⋅(0 )]+ a ⋅[b ⋅(c ⋅(1)+ c ⋅(d ))+ b (c ⋅(d )+ c ⋅(1))]
1.
Schritt
Blätter einzeichnen
0
1
3.
Übung – Logischer Entwurf
3.
Aufgabe
12
[
(
]
[
()
)
(
)
]
f
=
a b
c
()
0
+
c
() ) ()
d
+
b
0
+
a b
( ()
c
1
+
c
d
+ b c ⋅
() ()
d
+ c ⋅ 1
2.
Schritt
0-Kante
1-Kante
d einzeichnen
d kommt dreimal in der
Zerlegung von f vor
nur zwei mögliche Nachfolger-
kombinationen für d
gleiche Knoten zusammen-
fassen Reduktion
d
d
2 Knoten
0
1

4-3

Fachgebiet RechnerSysteme 3. Übung Logischer Entwurf - WS 2002/2003

3. Übung – Logischer Entwurf 3. Aufgabe 13 [ ( () ] [ ()) (
3.
Übung – Logischer Entwurf
3.
Aufgabe
13
[
( ()
]
[
()) ( ()
]
f
=
a b
c
0
+
c d
()) ()
+
b
0
+
a b
( ()
c
1
+
c d
+ b
c d
+
c
())
1
3.
Schritt
0-Kante
1-Kante
c einzeichnen
drei Kombinationen
mit c in f :
c
⋅ 0 +
c d
=
cd
c
c
c
c
⋅+ 1 ⋅ = +
c d
c c d
d
d
d
d
c d
+
c
1
=
cd c
+
keine gleichen
Knoten 3 Knoten
0
1
3. Übung – Logischer Entwurf 3. Aufgabe 14 [( [( = a ⋅ b c
3.
Übung – Logischer Entwurf
3.
Aufgabe
14
[(
[(
= a ⋅
b c
() ()) ()]
()) ( () (1))]
f
0
+
c d
+
b
0
+ a ⋅
b
c
(1)
+
c d
+
b c d
+
c
4.
Schritt
0-Kante
1-Kante
b einzeichnen
zwei Ausdrücke
mit b 2 Knoten
b
b
cd
c + c d
cd + c
c
c
c
b cd b
+
⋅ 0
d
d
(c
)
)
b ⋅
+
c
d
+
b ⋅ (cd
+
c
0
1

Technische Universität Darmstadt

+ b ⋅ (cd + c 0 1 Technische Universität Darmstadt 3. Übung – Logischer Entwurf
3. Übung – Logischer Entwurf 3. Aufgabe 15 f = a ⋅[b ⋅(c ⋅(0 )+
3.
Übung – Logischer Entwurf
3.
Aufgabe
15
f
= a ⋅[b ⋅(c ⋅(0 )+ c ⋅(d ))+ b ⋅(0 )]+ a ⋅[b ⋅(c ⋅(1)+ c ⋅(d ))+ b (c ⋅(d )+ c ⋅(1))]
5.
Schritt
0-Kante
a
1-Kante
a einzeichnen
(
)
b c c d
+
bcd
b
b
)
+
b
(cd
+
c
c
c
c
d
d
0
1
3. Übung – Logischer Entwurf 3. Aufgabe 16 f = a ⋅[b ⋅(c ⋅(0 )+
3.
Übung – Logischer Entwurf
3.
Aufgabe
16
f
= a ⋅[b ⋅(c ⋅(0 )+ c ⋅(d ))+ b ⋅(0 )]+ a ⋅[b ⋅(c ⋅(1)+ c ⋅(d ))+ b (c ⋅(d )+ c ⋅(1))]
f
6.
Schritt
0-Kante
a
1-Kante
Die Funktion f markieren
b
b
c
c
c
d
d
0
1

Fachgebiet RechnerSysteme 3. Übung Logischer Entwurf - WS 2002/2003

3. Übung – Logischer Entwurf 3. Aufgabe 17 (b) Kofaktorzerlegung: g = abd ac d
3.
Übung – Logischer Entwurf
3.
Aufgabe
17
(b)
Kofaktorzerlegung:
g
=
abd ac d a b c a bcd
+
+
+
[
]
[
]
=
a
bcd
+
a bd c d b c
+
+
[( )
()] [(
)
(
)]
=
a
b cd
+
b
0
+
a b c d c
+
+
b d c d
+
[(() ( )) ( )]
[(() ()) ((
=
a
b c
0
+
c d
+
b
0
+
a b c
1
+
c d
+
b c d
) ())]
+
c
1
[b
(cd )]
)
=
a
+
a [b (c c d (cd c )]
+
+
b
+
3.
Übung – Logischer Entwurf
3.
Aufgabe
18
g
OBDD:
0-Kante
a
1-Kante
b
b
c
c
c
d
d
0
1
5-3

Technische Universität Darmstadt

c c c d d 0 1 5-3 Technische Universität Darmstadt 3. Übung – Logischer Entwurf

3.

Übung – Logischer Entwurf

 

3.

Aufgabe

 

19

 

(c)

h

=

=

Kofaktorzerlegung:

= = Kofaktorzerlegung: a b c ac d abd a b ce a bcd ac d

a b c ac d abd a b ce a bcd ac d e

+

+

+

+

+

a [

bcd

]

+

[

a b c c d bd b ce c d e

+

+

+

+

]

 
 

=

=

=

=

a [(

b cd

) ()]

+

b

0

+

[(

a b c c d ce c d e

+

+

+

)

+

(

b c d d c d e

+ +

)]

a [(() ( )) ()]

a [(() ( )) ( )] [(()

+

[((

a b c

+

a b c

)) ((

+

b c d

b c

b c

0

0

+

+

c

c

d

d

b

+

+

b

0

0

1

+

e

+

c d d e

+

)

(

1

+

()) (( ) ())]

c d

+

b c d

+

c

1

a [b (cd )] [b (c c d (cd c )]

+

)

+

a

+

b

+

)

+

(

c d d

+ +

d e

))]

 

unabhängig von e e tritt nicht im OBDD auf

 
3. Übung – Logischer Entwurf 3. Aufgabe 20 h OBDD: 0-Kante a 1-Kante b b
3.
Übung – Logischer Entwurf
3.
Aufgabe
20
h
OBDD:
0-Kante
a
1-Kante
b
b
c
c
c
d
d
wie an den OBDDs
leicht zu erkennen,
repräsentieren f, g, und
h die gleiche Funktion
0
1