Logikgleichungen vereinfachen

Find den Wiki-Eintrag eigentlich ganz ergiebig:
https://de.wikipedia.org/wiki/Formelsammlung_Logik

Üblicherweise kann man in dem Bereich auch viel mit Wahrheitstabellen zeigen. Das ist zwar etwas zäh, aber bekommt den Job erledigt.

Da steh ich ja voll auf dem Schlauch also eigentlich wie ausmultiplizeren

Kannst du den Lösungsweg bitte noch etwas präzisieren?

Der Klammerinhalt vom ersten Lösungsschritt der ersten Aufgabe kann ich noch nachvollziehen.

Klar!

Eigentlich erstmal wie ausmultiplizieren, richtig.

Bei der ersten nutze ich im letzten Schritt, dass "a oder nicht-a" sowieso immer wahr ist. Daher sind beide Klammern genau dann wahr, wenn die rechte wahr ist.

Die Lösung zur zweiten Aufgabe gehe ich mal Schritt für Schritt durch:

\((a \lor b) \land (a \lor \neg b) = \ \ | linke \ Klammer \ aufgeloest \\ (a \land (a \lor \neg b)) \lor (b \land (a \lor \neg b)) \ \ | innere \ Klammern \ aufl.\\ (( a \land a ) \lor (a \land \neg b)) \lor ((b \land a) \lor (b \land \neg b)) \ \ | a \land a = a, b \land \neg b = 0\\ (a \lor (a \land \neg b)) \lor (b \land a) = \ \ |a \land \neg b \Rightarrow a \\ a \lor (b \land a) = \ \ | b \land a \Rightarrow a\\ a\)

Bei den letzten beiden Schritten nutze ich, dass die eine der Aussagen, die mit "Oder" verknüpft ist, "in der anderen enthalten ist" - sind keine Mengen, aber so kann man sichs ganz gut vorstellen. Sprich, wenn a und nicht-b wahr sind, dann ist ja automatisch a wahr - also kann ich mir gleich nur a anschauen. Das gleiche im letzten Schritt: Wenn a wahr ist oder b&a wahr sind, dann ist halt a wahr. 

Dass das so klappt, kann man sich auch gut wie folgt klar machen: Wenn ich dir sage, dass Aussage 1 stimmt, oder Aussage1 und Aussage2 gleichzeitig stimmen, dann ist das einzige, was du schlussfolgern kannst, dass Aussage 1 stimmt - über Aussage 2 ist trotzdem gar nichts bekannt.

Ich hoffe, das macht's etwas klarer. Frag gern nochmal nach wenn was noch nicht nachvollziehbar ist!