Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Aussagenlogische Formel vereinfachen

Aussagenlogische Formel vereinfachen

Universität / Fachhochschule

Tags: Aussagenlogik, Boolesche Algebra

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
Giron

Giron aktiv_icon

17:10 Uhr, 08.10.2017

Antworten
ich habe hier eine Aufgabe, bei der ich einfach nicht auf die richtige Lösung komme.

Ich habe meinen Lösungsansatz mal mit angehängt.
Bis dahin ist denke ich mal noch alles richtig, aber ich weiß einfach nicht, welchen Schritt ich nun als nächstes machen kann.
Vielleicht die erste Klammer ausmultiplizieren, aber dann komme ich auch nicht weiter.

aufgabe1
lösung1

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich bräuchte bitte einen kompletten Lösungsweg." (setzt voraus, dass der Fragesteller alle seine Lösungsversuche zur Frage hinzufügt und sich aktiv an der Problemlösung beteiligt.)
Hierzu passend bei OnlineMathe:
Mitternachtsformel
Online-Nachhilfe in Mathematik
Antwort
ermanus

ermanus aktiv_icon

17:21 Uhr, 08.10.2017

Antworten
Hallo,
ich sehe nur einen logischen Ausdruck und dass du ihn irgendwie umformst.
Würdest du uns freundlicherweise mitteilen, was das Ziel der Aufgabe ist?
Giron

Giron aktiv_icon

17:49 Uhr, 08.10.2017

Antworten
Die Aufgabenstellung ergibt sich ja aus dem Titel.
Die aussagenlogische Formel soll auf die möglichst einfachste Gestalt umgeformt werden.
Antwort
ermanus

ermanus aktiv_icon

17:51 Uhr, 08.10.2017

Antworten
Sorry,
habe die Überschrift nicht gelesen ...

Habe alle Klammern fleißig gemäß Distributivregeln behandelt, 1000 Dinge gemacht,
die ich schon nicht mehr nachvollziehen kann, und habe am Ende den Ausdruck
¬ABC erhalten. Habe das auch mit Wahrheitstafel überprüft.
Viel Spaß dabei ;-)

Gruß ermanus


Giron

Giron aktiv_icon

18:01 Uhr, 08.10.2017

Antworten
Danke für die Lösung.
Allerdings wäre ein Lösungsweg für mich auch sehr wichtig, damit ich es nachvollziehen kann.
Also wenn du oder irgendjemand anderes das noch hinzufügen könnte, wäre ich vollends zufrieden
Antwort
ermanus

ermanus aktiv_icon

18:07 Uhr, 08.10.2017

Antworten
Wenn du ein bisschen Geduld hast und ich meine Schmierzettel noch verstehen kann,
werde ich es versuchen ...
Aber nebenbei, was spricht eigentlich gegen eine Wahrheitstafel?
Zwei logische Ausdrücke sind äquivalent, wenn sie den gleichen Wahrheitswerteverlauf
haben. Doch vermutlich sollt ihr es anders machen ...
Giron

Giron aktiv_icon

18:30 Uhr, 08.10.2017

Antworten
Geanu. Die Aufgabenstellung ist, dass es vereinfacht werden soll durch die Gesetze.
Antwort
abakus

abakus

18:39 Uhr, 08.10.2017

Antworten
Hallo,
da hier jede Menge Implikationen drin sind:
PQ lässt sich schreiben als ¬PQ.
Wenn du das alles gemacht hast, brauchst du nur noch DeMorgan und eventuell Distributivgesetze.

PS: Ich sehe gerade, dass du den Anfang schon gemacht hast. Schau nun, wie du mit den Distributivgesetzen weiterkommst.
Antwort
ermanus

ermanus aktiv_icon

11:43 Uhr, 09.10.2017

Antworten
Wie Gast62 schon bemerkte, musst du nun mit den Distributivgesetzen weiterkommen:

(BC)(AC)(¬B(¬AB))(¬C(¬AB))
(BC)(AC)(¬B¬A)(¬BB)(¬C¬A)(¬CB).

Gucken wir uns die Konjunktionspartner genauer an:
(¬BB) ist wahr, kann also weggelassen werden.
Der erste Partner und der letzte können zusammengefasst werden:
(BC)(¬CB)B(C¬C)B,
usw., usw.
Versuche du mal, weiter zu vereinfachen ...

Frage beantwortet
Giron

Giron aktiv_icon

19:32 Uhr, 09.10.2017

Antworten
Vielen Dank.
Den Schritt den du ganz oben ausgeführt hast, den habe ich einfach nicht erkannt.
Nun hab ich den kompletten Lösungsweg raus. :-)