Wir haben heute in der Schule (Informatik/Mathematik) eine Uniaufgabe bekommen, dort sollen wir eine Äquivalenz mittels Variablenbelegungen beweisen.
Leider habe ich es nicht verstanden, wie man so etwas macht.
Ich bedanke mich für jeden Tipp.
Besonders für Tipps, die mir helfen diese Art von Beweisen richtig zu verstehen, ich weiß einfach nicht was ich alles beachten muss und was nicht, was ich benutzen kann und was nicht (Wahrheitstabellen)
$$Zeige:\quad a\vee (b\wedge c)\equiv a\vee \neg (b\longrightarrow \neg c)\\ \\ Mein\quad Versuch:\\ { \left[ a\vee (b\wedge c) \right] }^{ \beta }=F\quad \overset { Def:\vee }{ \Leftrightarrow \quad } { \left[ a \right] }^{ \beta }=F\quad oder\quad { \left[ b\wedge c \right] }^{ \beta }=F\\ \qquad \qquad \qquad \qquad \overset { Def:\wedge }{ \Leftrightarrow } \quad { \left[ a \right] }^{ \beta }=F\quad oder\quad ({ \left[ b \right] }^{ \beta }=F\quad und\quad { \left[ c \right] }^{ \beta }=F\\ \qquad \qquad \qquad \qquad \overset { Def\quad und }{ \Leftrightarrow } \qquad { \left[ a \right] }^{ \beta }=F\quad oder\quad ({ \left[ b \right] }^{ \beta }=F\quad oder\quad { \left[ c \right] }^{ \beta }=F\\ \qquad \qquad \qquad \qquad \overset { Def\quad negation }{ \Leftrightarrow } \qquad { \left[ a \right] }^{ \beta }=F\quad oder\quad \neg ({ \left[ b \right] }^{ \beta }=F\quad oder\quad { \left[ \neg c \right] }^{ \beta }=W\\ \qquad \qquad \qquad \qquad \overset { Def:\quad Implikation }{ \Leftrightarrow } { \left[ a \right] }^{ \beta }=F\quad oder\quad { \left[ \neg (b\longrightarrow \neg c \right] }^{ \beta }\\ \qquad \qquad \qquad \qquad \overset { Def:\quad oder }{ \Leftrightarrow } { \left[ a\vee \neg (b\longrightarrow \neg c \right] }$$
