 |
 |
 |
 |
 |
 |
Startseite » Forum » Boolsche Algebra vereinfachen
Boolsche Algebra vereinfachen
Universität / Fachhochschule
Tags: Algebra, Aussage, Aussagenlogik, Aussagenlogik Informatik, Boolsche Algebra
 
|
  |
|---|
|
Hallo, Meine Aufgabe lautet: "Beweisen Sie die Allgemeingültigkeit, Erfüllbarkeit und Unerfüllbarkeit von Ausdrücken mittels der in der Vorlesung eingeführten Rechenregeln der Booleschen Algebra. Geben Sie dabei in jedem Schritt den Namen der von Ihnen verwendeten Regel an". Die Rechenregeln sind die vier Huntington'schen Axiome plus De-Morgan und Assoziativität. Der Ausdruck ist: Ich verstehe, wie ich die Rechenregeln anwenden kann und bei anderen kürzeren Ausdrücken finde ich meist schnell eine Lösung aber bei diesem Ausdruck komme ich nicht weiter Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |
|
 |
|
Hallo, sorry, ich bin mit deiner Schreibweise nicht vertraut. Bedeuten "" das logische oder (""), "" das logische und ("") und "" die logische Verneinung ("")? Mfg Michael |
 |
|
Ja genau |
|
|
|
Hallo, ich bin immer noch unsicher, wie die Sache gelöst werden soll/kann/darf. Muss ich, wie der von dir angegebene Aufgabentext nahelegt, den Term geeignet umformen, sodass man "sehen" kann, von welcher Kategorie er ist? Darf man stattdessen einfach die Variablen belegen (jedenfalls dann, wenn er weder allgemeingültig noch unerfüllbar ist)? Mfg Michael |
|
|
|
Soweit ich das verstanden habe soll der Term zuerst so weit wie möglich zusammengefasst werden, sodass man am Ende erkennt in welche Kategorie er gehört. Das Problem ist, dass ich beim Zusammenfassen nicht sehr weit komme... Wie meinst du das mit "einfach die Variablen belegen"? |
|
|
|
Hallo, die Variablen zu belegen bedeutet eine Wahrheitstabelle anzufertigen. Zusammenfassen habe ich (rudimentär) versucht, doch aber lieber zu einer Wertetabelle gegriffen. Hätte sich dort ergeben, dass es eine allgemeingültige oder unerfüllbare Aussage war, hätte ich versucht zusammenzufassen. Ich habe die Terme zusammengefasst zu und zu (beide Male Distributivgesetz). Vielleicht hilft dir das?! Mfg Michael |
|
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.
|
1337309
1336801