Tobias
Routinier
Dabei seit: 18.09.2006
Beiträge: 324
|
|
Das Vorgehen ist immer gleich. Zuerst interessieren uns die einschlägigen Indizes der Booleschen Funktion. Das sind diejenigen mit .
Ein Beispiel für einen einschlägigen Index ist , denn teilt 3.
Zu jedem einschlägigen Index von f bilden wir für die DNF einen Minterm wie folgt:
mit falls und falls .
Die Disjunktion aller Minterme zu den einschlägigen Indizes bildet dann die DNF.
Die KNF ist die Konjunktion aller Maxterme. Ein Maxterm betrachtet nun jedoch die nicht-einschlägigen Indizes. Ist , dann sieht der Maxterm so aus:
mit falls und falls .
|
|