KV-diagramm mit PI OBDD angeben

Question

Aufgabe:

hey ihr lieben, ich komme bei dieser Aufgabe leider nicht weiter. wäre super nett, wenn ihr dazu eine Idee aufschreiben könntet.

es handelt sich hierbei um eine boolsche Funktion, die über den variablen x1,x2,x3,x4 durch ein pi OBDD. meine frage lautet, wie sollte ich dort vorgehen , um ein vollständiges KV-Diagramm zu erstellen mit dem pi OBDD. denn eine Aufgabenstellung lautet hier auch, dass ich alle Einsen eintragen soll und das ich im KV-Diagramm alle Priimplikationen markieren soll.

ich bräuchte hier dringend Hilfe,wäre sehr nett, wenn ihr mir hier helfen könntet.
Problem/Ansatz:

Answer 1

Angenommen folgender πOBDD ist gegeben:

Beispiel für den ersten Eintrag im KV-Diagramm:

x1 = 0, x2 = 0, x3 = 0, x4 = 0 -> 1

x1 = 0, also kann x1 im KV-Diagramm ausgeschloßen werden:

x2 = 0, also kann auch x2 im KV-Diagramm ausgeschloßen werden:

x3 = 0, also kann auch x3 im KV-Diagramm ausgeschloßen werden:

x4 = 0, also kann auch x4 im KV-Diagramm ausgeschloßen werden und man erhält die Position des 1. Pfades des πOBDD im KV-Diagramm:

 

Das fertige KV-Diagramm sieht dann so aus:

In diesem können jetzt die Primimplikanten (nicht vergrößerbare 2^k Einser-Blöcke) markiert werden.