1
0
mirror of https://github.com/2martens/uni.git synced 2026-05-06 11:26:25 +02:00

FGI2: 13.4.3 bearbeitet

Signed-off-by: Jim Martens <github@2martens.de>
This commit is contained in:
2015-01-23 10:42:45 +01:00
parent 4c50111d3c
commit ae79e8be67

View File

@ -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