From ca55a5ca384336cef23b813b3e8e031273f25e9c Mon Sep 17 00:00:00 2001
From: Jim Martens <github@2martens.de>
Date: Wed, 14 Jan 2015 19:20:50 +0100
Subject: [PATCH] =?UTF-8?q?FGI2:=2012.4.3=20gr=C3=B6=C3=9Ftenteils=20ferti?=
 =?UTF-8?q?g?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Jim Martens <github@2martens.de>
---
 fgi2/Blatt12/Aufgabenblatt12.tex | 21 ++++++++++++++++-----
 1 file changed, 16 insertions(+), 5 deletions(-)

diff --git a/fgi2/Blatt12/Aufgabenblatt12.tex b/fgi2/Blatt12/Aufgabenblatt12.tex
index a602e6a..d35b838 100644
--- a/fgi2/Blatt12/Aufgabenblatt12.tex
+++ b/fgi2/Blatt12/Aufgabenblatt12.tex
@@ -196,11 +196,22 @@
     \end{figure}
 \section{} %12.4
     \subsection{} %12.4.2 - eventually
-        \begin{alignat*}{1}
-            (d(c + d))(ab + (a + a)\underline{(b + b)}) \\
-            (d(c + d))(ab + \underline{(a + a)}b) \\
-            (d(c + d))\underline{(ab + ab)} \\
-            (d(c + d))ab
+        \begin{alignat*}{2}
+            t_7 &=& (d(c + d))(ab + (a + a)\underline{(b + b)}) \\
+            &=& (d(c + d))(ab + \underline{(a + a)}b) \\
+            &=& (d(c + d))\underline{(ab + ab)} \\
+            &=& (d(c + d))ab
         \end{alignat*}
+
+    \subsection{}
+        \begin{alignat*}{2}
+            t_8 &=& ((d + d)(a + a + c))(a + \underline{(b + b)}) \\
+            &=& ((d + d)(\underline{a + a} + c))(a + b) \\
+            &=& (\underline{(d + d)}(a + c))(a + b) \\
+            &=& (d(a + c))(a + b)
+        \end{alignat*}
+
+        \(t_7\) und \(t_8\) sind offensichtlich nicht äquivalent. %TODO Begründung
+
 \end{document}