Einführung in das mathematische Arbeiten

Lösung für Aufgabe 3.1.11

Beweisen Sie die übrigen Aussagen in Theorem 3.1.10.

Kommutativgesetze:

a1010b1001a

b1011b

a1011a

bd1000b

a1000

Assoziativgesetz 1:

a01010101b10011001c00001111b

c=d10011111a

d11011111a

b=e11011101e

c11011111

Distributivgesetze:

a01010101b10011001c00001111a

c)01011101(a

c)01011101a

c)00010101(a

c)00010101

Verschmelzungsgesetze:

\begin{array}{cccc} %\hline a & b & a \vee (b \wedge a) & a \wedge (b \vee a)\\ %\hline\hline 0 & 0 & 0 & 0\\ %\hline \\ %\hline\hline 1 & 1 & 1 & 1\\ %\hline \\ %\hline\hline 0 & 1 & 0 & 0\\ %\hline \\ %\hline\hline 1 & 0 & 1 & 1\\ %\hline \end{array}

u.s.w.