|
|
|
|
|
|
|
|
Algorithmus zur Bestimmung minimaler Funktionen
1. Bestimmung der Primimplikanten
2. Bestimmung der minimalen Überdeckung
Implikant von f,
ein Konjunktionsterm k heißt Implikant von f,
wenn aus 
folgt, daß auch 
ist.
Verkürzung eines Konjunktionstermes k,
entsteht durch Weglassen einer oder mehrerer Variablen
in k.
Ein Konjunktionsterm k ist immer Implikant jeder
Verkürzung von k.
Primimplikant, Implikant von f,
von dem keine Verkürzung noch Implikant von f ist.
abc ist ein Implikant von f, weil 
, wenn 
.
abc ist aber kein Primimplikant von f, weil die
Verkürzung ac immer noch Implikant ist.
ac ist Primimplikant, weil die weiteren
Verkürzungen a und c keine Implikanten mehr sind.
|
|
|
|
|
|
|
|
