Einfache Logik-Frage

26.05.2013, 09:46	PeterSchmitt	Auf diesen Beitrag antworten »
Einfache Logik-Frage Hallo, ich möchte zeigen, dasss $\begin{eqnarray} (\lnot a \wedge c) \vee (b \wedge c) \vee (a \wedge b \wedge \lnot c) = (\lnot a \wedge c) \vee (a \wedge b) \end{eqnarray}$ ist. Allerdings komme ich nicht darauf, welche Gesetze der boolschen Algebra ich hier anwenden könnte, um diese Vereinfachung hinzukriegen. Vielen Dank! Peter
26.05.2013, 12:03	lgrizu	Auf diesen Beitrag antworten »
RE: Einfache Logik-Frage Im Prinzip lässt sich die Aufgabe darauf reduzieren, zu zeigen, dass $\begin{eqnarray} (b \wedge c) \vee (a \wedge b \wedge \lnot c)=a \wedge b \end{eqnarray}$ Wenn man entsprechende Äquivalenzumformungen durchführt. Dann würde ich erst mal das Distributivgesetz nehmen....
26.05.2013, 13:07	PeterSchmitt	Auf diesen Beitrag antworten »
RE: Einfache Logik-Frage Super, hat geklappt . ich hatte nicht daran gedacht, dass man das Distributivgesetzt auch dual anwenden kann. Tausend Dank, Peter
26.05.2013, 14:16	PeterSchmitt	Auf diesen Beitrag antworten »
RE: Einfache Logik-Frage Da war ich etwas zu voreilig.... mit welchen Gesetz zeige ich nun $\begin{eqnarray} b \wedge (c \vee (a \wedge \lnot c)) = a \wedge b \end{eqnarray}$ ? Dann müsste doch $\begin{eqnarray} c \vee (a \wedge \lnot c) = a \end{eqnarray}$ sein Danke!

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »