Hallo!
Ich hoffe man kann mir heute noch helfen-- es ist nämlich schon sehhhhhr wichtig!!
Ich soll jetzt für die Uni folgendes runterladen: Java BDD. Habe es versucht. aber leider verstehe ich nicht ganz was ich falsch mache, das Programm (?) will bei mir nicht laufen... :cry:
Wollte fragen, ob einer vielleicht weiß.. wie man folgende Aufgaben lösen kann:
1.) Schreiben Sie eine Methode boolean satOne (BDD x) mit JavaBDD, die true zurückgibnt, wenn x erfüllbar ist, ansonsten false. Wenn eine erfüllende Belegung existiert, soll diese ausgegeben werden, wobei Variablen, deren Wert keine Rolle spielt, weggelassen werden können. Beispiel: Für die Funktion x0 & x1 v ~x2 ist unter anderem x2=0, x0=0 eine gültige Ausgabe. (Testen Sie ihre Funktion an mehrerer Beispiele.)
2.) Sie arbeiten an der Entwicklung eines Prozessors mit und haben fü reine Teilaufgabe folgende Funktion aufgestellt:
f(x0,x1,x2,x3) = ~x0 & ~x1 & ~x2 v x3 & (x1 v x2) v x0 ~x2 & ~x3
Ein Kollege behauptet nun, dass man diese Funktion auch einfacher darstellen kann und sich dadurch Hardware einsparen lässt:
f' (x0,x1,x2,x3) = ~x0 & ~x1 v x3
a) Schreiben Sie ein Programm mit JavaBDD, mit dem Sie überprüfen können, ob ihr Kollege Recht hat. Das Programm soll, sofern die beiden Funktionen nicht äquivalente sind, ein Gegenbeispiel ausgeben. Verwenden Sie dazu die Funktion satOne aus der vorherigen Aufgabe.
b) Führen Sie das Programm aus. Setzen sie ggf. die Variablenbelegungen des Gegenbeispiels in f und f' ein und vergleichen Sie die Ergebnisse.
Das sind die für mich schier unlösbaren Aufgaben. Würde mich schon super freuen, wenn mir hier einer erklären könnte wie ich JavaBDD auf meinem Rechner funktionsfähig mache..... *verzweifelt*
Muss nämlich diese Übung schon morgen abgeben...
Viiiiiiiiiiiiiiiiiiiiiiielen Dank an alle die so nett sind und die Zeit haben mir zu helfen!!!!!!!!!!!!!!!
*jetzt geduldig warten wird*
gruß graciela
Ich hoffe man kann mir heute noch helfen-- es ist nämlich schon sehhhhhr wichtig!!
Ich soll jetzt für die Uni folgendes runterladen: Java BDD. Habe es versucht. aber leider verstehe ich nicht ganz was ich falsch mache, das Programm (?) will bei mir nicht laufen... :cry:
Wollte fragen, ob einer vielleicht weiß.. wie man folgende Aufgaben lösen kann:
1.) Schreiben Sie eine Methode boolean satOne (BDD x) mit JavaBDD, die true zurückgibnt, wenn x erfüllbar ist, ansonsten false. Wenn eine erfüllende Belegung existiert, soll diese ausgegeben werden, wobei Variablen, deren Wert keine Rolle spielt, weggelassen werden können. Beispiel: Für die Funktion x0 & x1 v ~x2 ist unter anderem x2=0, x0=0 eine gültige Ausgabe. (Testen Sie ihre Funktion an mehrerer Beispiele.)
2.) Sie arbeiten an der Entwicklung eines Prozessors mit und haben fü reine Teilaufgabe folgende Funktion aufgestellt:
f(x0,x1,x2,x3) = ~x0 & ~x1 & ~x2 v x3 & (x1 v x2) v x0 ~x2 & ~x3
Ein Kollege behauptet nun, dass man diese Funktion auch einfacher darstellen kann und sich dadurch Hardware einsparen lässt:
f' (x0,x1,x2,x3) = ~x0 & ~x1 v x3
a) Schreiben Sie ein Programm mit JavaBDD, mit dem Sie überprüfen können, ob ihr Kollege Recht hat. Das Programm soll, sofern die beiden Funktionen nicht äquivalente sind, ein Gegenbeispiel ausgeben. Verwenden Sie dazu die Funktion satOne aus der vorherigen Aufgabe.
b) Führen Sie das Programm aus. Setzen sie ggf. die Variablenbelegungen des Gegenbeispiels in f und f' ein und vergleichen Sie die Ergebnisse.
Das sind die für mich schier unlösbaren Aufgaben. Würde mich schon super freuen, wenn mir hier einer erklären könnte wie ich JavaBDD auf meinem Rechner funktionsfähig mache..... *verzweifelt*
Muss nämlich diese Übung schon morgen abgeben...
Viiiiiiiiiiiiiiiiiiiiiiielen Dank an alle die so nett sind und die Zeit haben mir zu helfen!!!!!!!!!!!!!!!
*jetzt geduldig warten wird*
gruß graciela