 |
 |
 |
 |
 |
 |
Startseite » Forum » Vereinfachung von aussagenlogischen Formeln.
Vereinfachung von aussagenlogischen Formeln.
Universität / Fachhochschule
Tags: Aussagenlogik, Formeln, Vereinfachung
 
|
  |
|---|
|
Hallo liebe Forengemeinschaft, ich hänge gerade an einer für Außenstehende wahrscheinlich eher trivialen Aufgabenstellung. Aufgabe a↔(a∧b) Hier stehe ich komplett auf dem Schlauch, da ich weder im Script, noch online etwas zum Umgang mit der Äquivalenz finde. Einziger Einfall ist hier die Klammern wegfallen zu lassen. Aufgabe a→(b→¬a) Hier bin ich über die Schritte a→(¬b∨¬a) ¬a∨¬b∨¬a zum Ergebnis ¬a∨¬b gekommen. Die Wahrheitstabelle gibt mir recht, wüßte trotzdem gerne ob alles richtig ist Aufgabe (a→b)→¬b Hier bin ich im nächsten Schritt der Vereinfachung zu (¬a∨b)→¬b gekommen, hänge danach aber beim Umgang mit dem nicht-Zeichen fest. Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |
|
|
|
|
bei bin ich zur Form A∧¬B∨¬B gelangt, aber weiß leider nicht, ob ich es noch vereinfachen kann. |
 |
|
Aufgabe Mehrere Möglichkeiten, . Eine Äquivalenz läßt sich in Implikationen aufspalten. Eine Implikation läßt sich umformen zu einer Disjunktion Betrachten wir Das ist eine Tautologie und für die Konjunktion nicht relevant. Also  |
|
|
|
Aufgabe ( Ich schreibe die Äquivalenzumformungen untereinander. ) Absorptionsgesetz  |
|
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.
|
1470700
1470599