From ae79e8be67c4cd6c821ae7fd166c6ed9bce50b70 Mon Sep 17 00:00:00 2001 From: Jim Martens Date: Fri, 23 Jan 2015 10:42:45 +0100 Subject: [PATCH] FGI2: 13.4.3 bearbeitet Signed-off-by: Jim Martens --- fgi2/Blatt13/Aufgabenblatt13.tex | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/fgi2/Blatt13/Aufgabenblatt13.tex b/fgi2/Blatt13/Aufgabenblatt13.tex index 9e16a88..753b8d2 100644 --- a/fgi2/Blatt13/Aufgabenblatt13.tex +++ b/fgi2/Blatt13/Aufgabenblatt13.tex @@ -126,6 +126,18 @@ T_{\partial} &&\; \partial_H((a \leftmerge (b + b) + (d \parallel e) \cdot b) \cdot c) \overset{f}{\rightarrow} \partial_H(b \cdot c) \end{alignat*} + \subsection{} + Die folgende Umformung wurde so weit es möglich war gezeigt. + \begin{alignat*}{2} + && (a + b) \leftmerge (b \cdot c) \\ + &\overset{LM2}{=}& (a + b) \cdot (b \cdot c) \\ + &\overset{A5}{=}& ((a + b) \cdot b) \cdot c \\ + &\overset{A4}{=}& (a \cdot b + b \cdot b) \cdot c \\ + &\overset{LM2}{=}& (a \leftmerge b + b \cdot b) \cdot c \\ + &\overset{A3}{=}& (a \leftmerge (b + b) + (b \cdot b + b \cdot b)) \cdot c \\ + &\overset{LM2}{=}& (a \leftmerge (b + b) + (b \leftmerge b + b \leftmerge b)) \cdot c + \end{alignat*} + \setcounter{section}{5} \section{} % 13.6