Binary Decision Diagram in boolesche Funktion umwandeln

Aufrufe: 308     Aktiv: 25.06.2022 um 19:47

0

Hallo, habe folgendes BDD (schon in reduzierter Form)

Wie kann ich davon die dazugehörige Boolesche Funktion ableiten? 
Meine Herangehensweise war es: alle Pfade rausschreiben, die auf 1 enden, in diesem Fall \(xy\neg z\). Das ist aber falsch.


Die korrekte Funktion ist: \(\neg xy + x\neg z\)
Was überseh ich bzw. wie kommt man auf diese Funktion??




 
Diese Frage melden
gefragt

Punkte: 73

 
Kommentar schreiben
0 Antworten