Theoretische und technische Informatik - ganz praktisch
Herzlich willkommen auf der Question/Answer-Plattform zu Grundlagen der Informatik II. Wir wünschen Ihnen viel Spaß beim Lernen und Diskutieren!
Loggen Sie sich mit Ihrem KIT-Account (u...) ein, um loszulegen!
Beachten Sie auch diese Informationen zum Schnelleinstieg.
(Nicht-KIT-Studierende beachten bitte diese Informationen.)

Beliebteste Tags

verständnis alternativlösung klausur kellerautomat endlicher-automat grammatik regulärer-ausdruck pumpinglemma turingmaschine tipp zahlendarstellung cmos klausurrelevant bonusklausur komplexität schaltwerk binary-decision-diagram deterministisch assembler schaltnetz sprachen minimierung nichtdeterministisch huffman fehler-in-aufgabe chomsky-normalform anwesenheitsübung rechtslinear heimübung flip-flop cocke-younger-kasami-algorithmus kontextsensitive-grammatik kontextfreie-grammatik huffman-kodierung hauptklausur fehlererkennbarkeit vorlesungsfolien kontextfreie-sprache polynomialzeitreduktion faq gleitkommazahl fehlerkorrigierbarkeit rechtslineare-grammatik dateiorganisation cache darstellung-klausur nachklausur xwizard adressierungsarten lambda mealy konjunktive-normalform pipelining zustände saalübung leeres-wort endliche-automaten ohne-lösungen betriebssystem speicherorganisation moore monotone-grammatik 2-komplement fehler reguläre-sprache hammingzahl monoton lösungsweg pumping-lemma-für-kontextfreie-sprachen kodierung berechenbarkeit klausureinsicht disjunktive-normalform pumping-lemma info-ii bussysteme rechnerarchitektur abzählbarkeit komplexitätsklassen ableitungsbaum vorlesungsaufzeichnung round-robin minimierung-endlicher-automaten chomsky-klassen binärzahl entscheidbar programmiersprachen entscheidbarkeit aufzählbarkeit stern-symbol automaten nukit-fragen bewertung zugriffsarten von-neumann-rechner umformung adressierung mengen binär-subtrahieren organsiation

Kategorien

0 Pluspunkte 1 Minuspunkt
87 Aufrufe
Hallo, habe hier die aussagenlogische Gleichheit:

q1=(e oder ¬q0* oder ¬q1*) und (¬e oder q0* oder q1*)

   = e und (q0* oder q1*) oder ¬e und (¬q0* oder ¬q1*)

vgl, Aufgabe.

 

Wäre toll wenn jemand die Unformung oder den Trick ( falls einer existiert) nachvollziehbar aufschreiben könnte.

Vielen Dank!
in 2017-B-03 von  

1 Eine Antwort

0 Pluspunkte 0 Minuspunkte

Hallo uxebx!

Das ausmultiplizieren sollte ja klar verständlich sein.

(e und ¬e) oder (e und q0*) oder (e und q1*) oder (¬q0* und ¬e) oder (¬q0* und qo*) ......

im ersten Schritt zum Vereinfachen werden dann alle nicht erfüllbaren Klammern gestrichen. (e und ¬e).

Im nächsten Schritt wird e bzw. ¬e ausgeklammert, dann bleibt noch übrig 

(¬e und (qo* oder q1*)) oder (e und (¬q0* oder ¬q1*)) oder (q0* und ¬q1*) oder (q1* und ¬q0*).

Die letzten beiden Klammern kann man durch geschicktes hinsehen auch weglassen, weil immer eine der ersten beiden Klammern erfüllt ist, wenn Klammer 3 oder 4 erfüllt ist.

Grüße, Felix (Tutor)

Hier noch ein schönes Bild.

von uwdtl uwdtl Tutor(in) (103k Punkte)  
...