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 minimierung sprachen nichtdeterministisch huffman chomsky-normalform fehler-in-aufgabe anwesenheitsübung rechtslinear heimübung flip-flop cocke-younger-kasami-algorithmus kontextsensitive-grammatik kontextfreie-grammatik fehlererkennbarkeit huffman-kodierung hauptklausur 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 pumping-lemma klausureinsicht disjunktive-normalform info-ii bussysteme rechnerarchitektur abzählbarkeit komplexitätsklassen ableitungsbaum vorlesungsaufzeichnung round-robin minimierung-endlicher-automaten chomsky-klassen von-neumann-rechner binärzahl entscheidbar programmiersprachen entscheidbarkeit aufzählbarkeit stern-symbol automaten schaltnetze-und-schaltwerke nukit-fragen bewertung zugriffsarten umformung adressierung mengen binär-subtrahieren

Kategorien

0 Pluspunkte 1 Minuspunkt
91 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)  
...