Hardware Reference
In-Depth Information
s
2
s
2
s
2
s
2
s
+
1
s
+
0
y
s
+
2
0
10
0
0
1
0 1
1
10
0
1
10
- -
1
1 0
10
0
- -
- -
0
0
1 0
0
0
- -
s
0
s
0
s
0
s
0
0
1
1
0
1
1
0
0
1
1
0
0 0
0
- -
s
1
s
1
s
1
s
1
1
- -
0
0
-
-
1
0
- -
1
0
a)
x x x
x
¯xx ¯s
2
s
2
s
1
¯s
1
s
0
¯s
0
1/0 1/0
000
&
&
&
x
≥
1
x
R
011 001
0/1
0/0
0/1
&
&
&
&
&
010
1/0
1/0
1/0
≥
1
x
R
1/0
0/0
101
100
b)
1/0
0/1
0/0
&
&
&
&
s
2
s
1
s
0
0/1
≥
1
x
R
111
110
x/y
0/0
1/0
c)
y
R
T
Abb. 6.8. a) KV-Diagramme b) Zustandsgraph mit redundanten Zuständen c)
Schaltung zu Aufgabe 2.11
einer Bitinvertierung unterscheiden. Diese werden abgehakt und in zusammen-
gefasster Form in die Quine'sche Tabelle erster Ordnung eingetragen. Danach
werden in der Quine'schen Tabelle erster Ordnung die zusammenfassbaren
Konjunktionspaare gesucht, abgehakt und in die Quine'sche Tabelle zweiter
Ordnung eingetragen. Mehr Zusammenfassungsmöglichkeiten gibt es nicht.
Die nicht abgehakten Konjunktionen - eine in der ersten, vier in der zweiten
und zwei in der dritten Tabelle - werden in die Tabelle der Primterme über-
nommen. Der einzige Primterm, dessen Minterme von anderen Primtermen
mit abgedeckt werden, ist »P5«. Der minimierte Ausdruck ist
x
5
x
4
x
3
x
2
_x
5
x
4
x
3
x
1
_x
5
x
4
x
3
x
1
x
0
_x
5
x
3
x
2
x
1
x
0
| {z }
P1
| {z }
P2
| {z }
P3
| {z }
P4
_x
5
x
3
x
2
x
1
x
0
| {z }
P6
_ x
5
x
4
x
3
x
2
x
1
x
0
|
{z
}
P7
Probe siehe Web-Projekt P2.2/LsgQuine.vhdl.
