From cba72c0f4479586145d8003cb89a9ea89ce9562f Mon Sep 17 00:00:00 2001
From: Jim Martens <github@2martens.de>
Date: Wed, 14 Jan 2015 20:40:02 +0100
Subject: [PATCH] FGI2: 12.4.3 fertiggestellt

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

diff --git a/fgi2/Blatt12/Aufgabenblatt12.tex b/fgi2/Blatt12/Aufgabenblatt12.tex
index d35b838..712349e 100644
--- a/fgi2/Blatt12/Aufgabenblatt12.tex
+++ b/fgi2/Blatt12/Aufgabenblatt12.tex
@@ -211,7 +211,7 @@
             &=& (d(a + c))(a + b)
         \end{alignat*}
 
-        \(t_7\) und \(t_8\) sind offensichtlich nicht äquivalent. %TODO Begründung
+        \(t_7\) und \(t_8\) sind nicht äquivalent, da \((a \cdot b) \neq (a + b)\) und \((c + d) \neq (a + c)\).
 
 \end{document}