Registrierung Kalender Mitgliederliste Teammitglieder Suche Häufig gestellte Fragen Zur Startseite

Informatiker Board » Suche » Suchergebnis » Hallo Gast [Anmelden|Registrieren]
Zeige Beiträge 1 bis 15 von 96 Treffern Seiten (7): [1] 2 3 nächste » ... letzte »
Autor Beitrag
Thema: Boolesche Algebra lösen
Dr.Java

Antworten: 11
Hits: 795
10.10.2017 15:27 Forum: Theoretische Informatik


Danke dir, es klappt tatsächlich einwandfrei.
Thema: Boolesche Algebra lösen
Dr.Java

Antworten: 11
Hits: 795
08.10.2017 19:23 Forum: Theoretische Informatik


Hm also bei mir klappts nicht. Aber der Screenshot geht ja auch.
Tatsächlich fast ohne die Axiome und mit nur ein paar Zeilen.Ziemlich clevere Lösung ziemlich clevere Lösung.
Vielen Dank dafür und lg
Thema: Boolesche Algebra lösen
Dr.Java

Antworten: 11
Hits: 795
08.10.2017 14:55 Forum: Theoretische Informatik


Der Latexcode hat nicht ganz funktioniert fürchte ich.Zumindest kann ich ihn nicht lesen.Aber ich nehme an du wolltest nochmal meine Zettelnotizen schön aufschreiben?

lg
Thema: Boolesche Algebra lösen
Dr.Java

Antworten: 11
Hits: 795
07.10.2017 12:18 Forum: Theoretische Informatik


Du meinst dann so ungefähr?

https://picload.org/view/dgcloipa/img_20...120720.jpg.html

Und dann kann man das rechts unten nochmal einzeln anschauen?

lg
Thema: Boolesche Algebra lösen
Dr.Java

Antworten: 11
Hits: 795
05.10.2017 19:39 Forum: Theoretische Informatik


Hallo. Ich muss jetzt noch eine ähnliche Aufgabe nachreichen,mit ähnlichen Problemen .
Ein paar Ideen hatt ich schon die geraten aber schnell ins stocken.Interessant ist auch-würde meine Überlegung stimmen erst den Term umzuformen und dann die Negation einzuführen´?
Vielen Dank im voraus und lg
Thema: Boolesche Algebra lösen
Dr.Java

Antworten: 11
Hits: 795
02.10.2017 18:02 Forum: Theoretische Informatik


Ach so de Morgan und dann ausmultiplizieren. Daran hab ich gar nicht gedacht. Ich war glaub ich zu sehr auf die Axiome fixiert,Tabellen sollen wir glaub ich nicht benutzen.

Ich danke dir.

lg
Thema: Boolesche Algebra lösen
Dr.Java

Antworten: 11
Hits: 795
Boolesche Algebra lösen 02.10.2017 12:16 Forum: Theoretische Informatik


Hallo.
Ich bin gerade dabei eine Boolesche Algebra mit gegegeben Axiomen. Aber,ja ich komm irgendwie nicht vorwärts aber komm dann nie weiter. Kann vielleicht jemand einen Tipp geben oder eventuell sagen ob einer meiner Wege korrekt ist ?

Danke schonmal und lg

Aufgabe ist im Anhang,Ansätze geb ich bei Bedarf.
Thema: Mealy Automat Zustandsfunktion als DNF
Dr.Java

Antworten: 4
Hits: 720
25.03.2017 13:34 Forum: Automatentheorie


QuineMccluskey kann und kenn ich eigentlich,das konnte mir aber bei diesem Fall nicht viel weiterhelfen. Ich werd vielleicht mal versuchen in diese KV Diagramm reinzuschnuppern. Das schaut nicht schlecht aus.

Danke dir und lg
Thema: Mealy Automat Zustandsfunktion als DNF
Dr.Java

Antworten: 4
Hits: 720
25.03.2017 12:32 Forum: Automatentheorie


https://de.wikipedia.org/wiki/Karnaugh-Veitch-Diagramm
Das hier oder? Leider nicht, aber ich glaube so ähnlich soll man vorgehen.

lg
Thema: Mealy Automat Zustandsfunktion als DNF
Dr.Java

Antworten: 4
Hits: 720
Mealy Automat Zustandsfunktion als DNF 24.03.2017 20:05 Forum: Automatentheorie


Hi. Ich habe noch eine Frage zu den werten Automaten.
Wenn man einen Mealy-Automaten hat(kann ich bei Bedarf nachreichen) und die Zustandstabelle gebildet hat,wie kann man daraus die Übergangsfunktionen in einer Disjunktiven Normalform darstellen?Also ich weiß wie die Zustandstabelle zustande kommt und auch was eine DNF ist,aber nicht wie ich da vorgehen soll.
Das hat was mit den 1er Werten zu tun,aber mehr kann ich dazu leider auch nicht sagen.

Danke schonmal und lg
Thema: Schaltkreis als RBBD
Dr.Java

Antworten: 4
Hits: 657
23.03.2017 20:37 Forum: Theoretische Informatik


Ok, trotzdem danke. Also mit den Tabellen klappt es auf jeden Fall ,muss nur noch ein System dafür entwickeln oder irgendeine Regelmäßigkeit.
Ansonsten wären anscheinenden noch ITE-Funktionen (IF THEN ELSE) eine ,anscheinend sogar effizientere Möglichkeit zur Aufstellung,aber da hab ich selbst den Dreh noch nicht raus.
lg
Thema: Schaltkreis als RBBD
Dr.Java

Antworten: 4
Hits: 657
22.03.2017 21:47 Forum: Theoretische Informatik


Ups. Ich meine BDD und RBDD nicht BBD . BDD steht für Binary Decision Diagram . Das dient zur Darstellung von Booleschen Funktionen oder Booleschen Tabellen.

So sieht das beispielweise aus. RBDD steht für Reduced Binary Decision Diagram. Es gibt nämlich häufig isomorphe Knoten die man dann streichen darf. Genau gesagt gibt es auch noch ROBDDs ,also Reduced Ordered Binary Decision Diagrams. Ordered insofern als das man dafür sorgt das Variablen immer in derselben Reihenfolge kommen.
Mein Problem betreffend, es funktioniert tatsächlich für die Funktionen eine Wahrheitstabelle zu erstellen,das ist allerdings äußerst zeitaufwendig. Deshalb frage ich mich ob es nicht ein schnelleres Verfahren gibt.

PS. Der Witz an der Aufgabe,wie ich festgestellt habe ,ist tatsächlich das es reicht entweder g/f spezifisch oder f/gSchaltkreis zu ermitteln. Es geht am Ende darum zu zeigen das die Funktionen und Schaltkreise deckungsgleich sind.

lg
Thema: Schaltkreis als RBBD
Dr.Java

Antworten: 4
Hits: 657
Schaltkreis als RBBD 17.03.2017 11:33 Forum: Theoretische Informatik


Hi.Gegeben ist dieser Schaltkreis und zwei Funktionen, die den Schaltkreis mehr oder weniger repräsentieren.
Man möchte jetzt daraus ein BBD bilden,also eigentlich ein RBBD ,aber ich brauch erstmal das normale.
Wie würde ich das am besten anstellen ? Eine Tabelle würde sich anbieten, ist aber denk ich etwas arg kompliziert. Was ich mir noch überlegt habe ist (ich habe die Musterlösung) das eigentlich nur b0 variabel ist, a1,b1 etc. sind ja schlicht nur 0 oder 1 Unterscheidungen. Man müsste also eigentlich nur darauf achten was b0 ergibt, sehe ich das richtig?

Danke schonmal und
lg
Thema: Zustandstabelle Minimalpolynome
Dr.Java

Antworten: 0
Hits: 448
Zustandstabelle Minimalpolynome 15.03.2017 14:52 Forum: Automatentheorie


Hi.
Im anderen Thread, hab ich ja schon, nach dem Mealyautomat und der entsprechenden Tabelle gefragt,aber da das doch ein anderes Thema ist ,mach ich noch einen Thread auf.
Anhand der Zustandstabelle kann man die Polynome für die ON-Menge ablesen. Das ist ja kein Problem, problematisch ist es die Minimalpolynome zu ermitteln.
Wenn man also die ON Menge für die einzelnen Variablen rausgesucht hat, kann man zum Beipsiel Quine-Mccluskey verwenden um sie zu reduzieren. Das hab ich auch gemacht,nur kriege ich damit anscheinend andere Polynome raus als in der Lösung vorgegeben sind. Meine Frage wäre deshalb, hab ich richtig gerechnet?

Danke schonmal und lg

(Ich hoffe man kann es lesen, ganz links ist es für qo, mitte q1, rechts y)
Thema: Zustandstabelle für Mealyautomat
Dr.Java

Antworten: 9
Hits: 942
15.03.2017 09:54 Forum: Automatentheorie


Ja ,das stimmt, wohl ,müsste mir wohl was überlegen das etwas schöner zu gestalten.^^
Vielen Dank für deine Hilfe.
lg
Zeige Beiträge 1 bis 15 von 96 Treffern Seiten (7): [1] 2 3 nächste » ... letzte »