6.2.10.1.2 Die einfachste Gestalt durch ein KV-Diagramm ermitteln

Die einfachste Gestalt durch ein KV-Diagramm ermitteln

Das Karnaugh-Veitch-Diagramm (kurz KV-Diagramm) ist ein einfaches Hilfsmittel zur schnellen Ermittlung eines minimalen logischen Ausdrucks aus einer gegebenen Booleschen Funktion.

Genauer benötigt man die Werte aus der Ergebnisspalte einer Wahrheitstafel und ordnet Sie in einem KV-Diagramm neu an.

Wieder der Reihe nach:

Gegeben war dieser aussagenlogische Term:

$((A\rightarrow B)\rightarrow (B\rightarrow C))\rightarrow C$

Dazu wurde die Wahrheitstafel notiert und die Ergebnisspalte berechnet:

$A$	$B$	$C$	$((A\rightarrow B)\rightarrow (B\rightarrow C))\rightarrow C$
$0$	$0$	$0$	$0$
$0$	$0$	$1$	$1$
$0$	$1$	$0$	$1$
$0$	$1$	$1$	$1$
$1$	$0$	$0$	$0$
$1$	$0$	$1$	$1$
$1$	$1$	$0$	$1$
$1$	$1$	$1$	$1$

Der weitere Ablauf unter Zuhilfenahme eines KV-Diagramms ist ist wie folgt:

Zunächst zeichnet man die Umrisse des KV-Diagramms. Da wir in diesem Beispiel acht Werte in der Ergebnisspalte der Wahrheitstafel haben, ordnen wir zwei Zeilen zu je vier Spalten an:

Die Zeilen und Spalten werden geeignet beschriftet:

Die acht Werte aus der Ergebnisspalte der Wahrheitstafel werden an die richtige Stelle in das Diagramm geschrieben.

Jetzt werden Blöcke aus Einsen gebildet.
Die Blockgrößen müssen sich dabei an den 2er-Potenzen orientieren: 8, 4, 2 oder 1.
Je größere Blöcke man bilden kann, desto besser!
Am Ende müssen alle Einsen in mindestens einem Block enthalten sein. Die Nullen bleiben komplett unberücksichtigt.

Ein 8er-Block ist nicht möglich.
Es bietet sich aber ein 4er-Block in der rechten Diagramm-Hälfte an:

Wie man sieht: in diesem 4er-Block gilt überall $B$.

Jetzt folgen noch zwei 2er-Blöcke:

Wie man sieht: in beiden 2er-Blöcken gilt jeweils $C$.
Es macht dabei nichts, dass der rechte 2er-Block vollständig in dem schon zuvor identifizierten 4er-Block liegt.

Alle Einsen sind damit in Blöcken gruppiert.
Jede Eins steckt in einem Block in dem $B$ oder $C$ gilt.

Insgesamt erhalten wir damit als einfachste Gestalt: $B\lor C$.

Es gilt also die Äquivalenz:

$((A\rightarrow B)\rightarrow (B\rightarrow C))\rightarrow C\qquad \equiv \qquad B\lor C$

Aufgabe 1

Aufgabe

 Aufg.

Oben im Text steht:
"Ein 8er-Block ist nicht möglich."

Erläutere:
Warum ist kein 8er-Block möglich?

Aufgabe 2

Aufgabe

 Aufg.

Oben im Text steht:
"Jede Eins steckt in einem Block in dem $B$ oder $C$ gilt."

Erläutere:
Warum wurde hier nicht stattdessen geschrieben:
"Jede Eins steckt in einem Block in dem entweder $B$ oder $C$ gilt."

Aufgabe 3

Aufgabe

 Aufg.

Oben im Text steht:
"Je größere Blöcke man bilden kann, desto besser!"

Erläutere:
Warum sind größere Blöcke besser?

Je größere Blöcke man bilden kann, desto besser!