23.07.2013 Aufrufe

0,1 - next-internet.com

0,1 - next-internet.com

0,1 - next-internet.com

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

Aufgabe 3<br />

Die folgende Boolesche Funktion soll in eine disjunktive<br />

Form nach den Variablen a, b, c und d in dieser<br />

Reihenfolge entwickelt werden, jedoch höchstens<br />

solange, bis die Restfunktionen nur noch aus einer<br />

Variablen bestehen.<br />

f(d,c,b,a) f(d,c,b,a)<br />

= ( a ∨ b ) ∧ ( c ∨ d ) ∨ ( c d ∨ a b ) ∧ ( c ∨ d )<br />

Entwickeln Sie f(d,c,b,a) schrittweise. Vereinfachen Sie<br />

die jeweils gefundenen Restfunktionen nur mit folgenden<br />

Regeln:<br />

Institut für Rechnerentwurf und Fehlertoleranz<br />

Dr.-Ing. Dr. Ing. T. Asfour<br />

Aufgabe 3<br />

f(d,c,b,a) f(d,c,b,a)<br />

= ( a ∨ b ) ∧ ( c ∨ d ) ∨ ( c d ∨ ab ) ∧ ( c ∨ d )<br />

Entwicklung nach a:<br />

f(d,c,b,a) =<br />

Institut für Rechnerentwurf und Fehlertoleranz<br />

Dr.-Ing. Dr. Ing. T. Asfour<br />

1-17 17<br />

1-19 19<br />

Aufgabe 3<br />

• Idempotenzgesetz: a ∨ a = a a ∧ a = a<br />

• Rechenregeln für logische Ausdrücke mit Konstanten:<br />

1 ∨ a = 1 0 ∨ a = a a ∨ a = 1<br />

0 ∧ a = 0 1 ∧ a = a a ∧ a = 0<br />

f(d,c,b,a) f(d,c,b,a)<br />

= ( a ∨ b ) ∧ ( c ∨ d ) ∨ ( c d ∨ ab ) ∧ ( c ∨ d )<br />

Shannonscher Entwicklungssatz:<br />

f(x 1, , ..., nx) ) = xi ∧ f(x 1, , ..., x i-1,<br />

Institut für Rechnerentwurf und Fehlertoleranz<br />

Dr.-Ing. Dr. Ing. T. Asfour<br />

Institut für Rechnerentwurf und Fehlertoleranz<br />

Dr.-Ing. Dr. Ing. T. Asfour<br />

, 1, , x i+1, i+1,<br />

...,x ..., n]<br />

Aufgabe 3<br />

] ∨ [x i ∧ f(x<br />

f(x1, , ..., x i-1, 1, 0, , x i+1, i+1,<br />

...,x ..., n ]<br />

f(d,c,b,a) f(d,c,b,a)<br />

= ( a ∨ b ) ∧ ( c ∨ d ) ∨ ( c d ∨ ab ) ∧ ( c ∨ d )<br />

Entwicklung nach a:<br />

f(d,c,b,a) = ( a ∨ b ) ∧ ( c ∨ d ) ∨ ( c d ∨ a b ) ∧ ( c ∨ d )<br />

= a [ ( 1 ∨ b ) ∧ ( c ∨ d ) ∨ ( c d ∨ 1 b ) ∧ ( c ∨ d )] ∨<br />

a [ ( 0 ∨ b ) ∧ ( c ∨ d ) ∨ ( c d ∨ 0 b ) ∧ ( c ∨ d )]<br />

= a [ ( c ∨ d ) ∨ ( c d ∨ b ) ∧ ( c ∨ d )] ∨<br />

a [ (b) ∧ ( c ∨ d ) ∨ (c d) ∧ ( c ∨ d )]<br />

Restfunktionen nach b entwickeln:<br />

1-18 18<br />

1-20 20

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!